Automated Reasoning Building Blocks

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 : lundi 20 novembre 2017 - 15:14:02

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

81