Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019 - Archive ouverte HAL Access content directly
Proceedings Year : 2019

Dates and versions

hal-02093532 , version 1 (09-04-2019)

Identifiers

Cite

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019. 11427, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-17502-3⟩. ⟨hal-02093532⟩
34 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More