• Publisher: University of Bologna
• Country: italy
• Date added to EuroPub 2018/Jan/21

LCC Subject Category: Mathematics, Science Education

Publisher's keywords: Formalization, Verification, Checking, Reasoning, Mathematics

• Language of fulltext: english
• Time from submission to publication: 25 Weeks

• Article Processing Charges (APCs): No
• Submission charges: No
• Waiver policy for charges? No

• Type of License: CC BY
• Open Access Statement: Yes
• Year open access content began: 2008
• Does the author retain unrestricted copyright? True
• Does the author retain publishing rights? True

• Permanent article identifier: DOI
• Content digitally archived in:
• Deposit policy registered in: Sherpa/Romeo