journals
articles
about
ESPAÑOL
Journal title
Journal of Formalized Reasoning
ISSN:
frecuency
:
4
format
:
Electrónica
Mathematics
JOURNAL'S COLLECTIONS
Issues
see all issue
2020 (1)
2020 (1)
Vol 13 - 1 -
2019 (1)
2019 (1)
Vol 12 - 1 - 0
2018 (1)
2018 (1)
Vol 11 - 1 - 0
2017 (1)
2017 (1)
Vol 10 - 1 - 0
2016 (2)
2016 (2)
Vol 9 - 1 - 0
Vol 9 - 2 - 0
2015 (2)
2015 (2)
Vol 8 - 1 - 0
Vol 8 - 2 - 0
2014 (2)
2014 (2)
Vol 7 - 2 - 0
Vol 7 - 1 - 0
2013 (1)
2013 (1)
Vol 6 - 1 - 0
2012 (1)
2012 (1)
Vol 5 - 1 - 0
2011 (1)
2011 (1)
Vol 4 - 1 - 0
2010 (2)
2010 (2)
Vol 3 - 2 - 0
Vol 3 - 1 - 0
2009 (1)
2009 (1)
Vol 2 - 1 - 0
2008 (1)
2008 (1)
Vol 1 - 1 - 0
Skip Navigation Links.
Volume
13
Number
1
Year
2020
2 articles in this issue
Corrigendum: C floating-point proofs layered with VST and Flocq
Andrew W. Appel, Yves Bertot
Pags. 0 - 0
Free Access
Share
LinkedIn
C floating-point proofs layered with VST and Flocq
Andrew W. Appel, Yves Bertot
Pags. 1 - 16
Free Access
Share
LinkedIn