Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, 〈10.1007/978-3-319-23506-6_12〉
https://hal.inria.fr/hal-01239428
Contributeur : Stephan Merz
<>
Soumis le : lundi 7 décembre 2015 - 17:32:53
Dernière modification le : mardi 18 décembre 2018 - 16:38:25
Christoph Weidenbach. Automated Reasoning Building Blocks. Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, 〈10.1007/978-3-319-23506-6_12〉. 〈hal-01239428〉
