Automated Reasoning Building Blocks

Christoph Weidenbach 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

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

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

127