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〉 
