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 19 février 2019 - 15:40:03
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〉
