Skip to Main content Skip to Navigation
Book sections

Automated Reasoning Building Blocks

Christoph Weidenbach 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-01239428
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Monday, December 7, 2015 - 5:32:53 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

Identifiers

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⟩

Share

Metrics

Record views

221