Proceedings/Recueil Des Communications
Année : 2019
Fabrice Kordon : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02093532
Soumis le : mardi 9 avril 2019-09:01:53
Dernière modification le : mercredi 30 octobre 2024-13:33:48
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
56
Consultations
0
Téléchargements