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⟩ 