Book Sections
Year : 2015
Stephan Merz : Connect in order to contact the contributor
https://hal.inria.fr/hal-01239428
Submitted on : Monday, December 7, 2015-5:32:53 PM
Last modification on : Saturday, June 25, 2022-7:41:11 PM
Cite
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⟩
78
View
0
Download