Journal of Formalized Reasoning
Verified by: editors . Last modification date:
Scholarly journal
Open Access with open licenses
No fees
Open to all authors
Community-Owned
| Main title language: | - |
| Other titles: | - |
| e-ISSN: | 1972-5787 |
| ISSN: | - |
| Website: | http://jfr.unibo.it/ |
| DOI: | - |
| Publisher name: | University of Bologna |
| Publisher country: | Italy |
| Organizations: | University of Bologna – Dipartimento di Matematica |
| Licenses: | CC-BY (version 4.0, generic) |
| Peer reviewed: | - |
| Languages: | English |
| OECD classification: | - |
| Keywords: | formalization, verification, checking, reasoning |