Proceedings/Recueil Des Communications
Année : 2019
Connectez-vous pour contacter le contributeur
https://hal.science/hal-02093532
Soumis le : mardi 9 avril 2019-09:01:53
Dernière modification le : lundi 13 avril 2026-09:42:02
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⟩
Collections
154
Consultations
0
Téléchargements