Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2019

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More