Automated Reasoning Building Blocks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2015
No file

Dates and versions

hal-01239428 , version 1 (07-12-2015)

Identifiers

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⟩
79 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More