Chapitre D'ouvrage
Année : 2015
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01239428
Soumis le : lundi 7 décembre 2015-17:32:53
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
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⟩
79
Consultations
0
Téléchargements