Journal Info
ISSN: 
1972-5787
Starting Year: 
2008
Active: 
yes
Subject: 
Mathematics
Subject: 
Computer Science
Keywords: 
formalization
Keywords: 
verification
Keywords: 
checking
Keywords: 
reasoning
Language: 
English
Publisher Info
Publisher Name : 
CIB - University of Bologna
Date of Creation: 
29 April 2009
Notes: 
http://jfr.cib.unibo.it/about/submissions#authorGuidelines
Source: DOAJ - 1972-5787