Ausgabe 1/2015
Inhalt (4 Artikel)
Formally Verified Certificate Checkers for Hardest-to-Round Computation
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
Automated Planning as an Early Verification Tool for Distributed Control
Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh
Erratum
Erratum to : Learning-Assisted Automated Reasoning with Flyspeck
Cezary Kaliszyk, Josef Urban