Automated Reasoning Building Blocks - Archive ouverte HAL Access content directly
Book Sections Year : 2015

Automated Reasoning Building Blocks

(1, 2)
1
2
Not 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⟩
78 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More