TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal is to acknowledge the achievements of the various...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Beyer, Dirk (Editor), Hartmanns, Arnd (Editor), Kordon, Fabrice (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edició:	1st ed. 2025.
Col·lecció:	Lecture Notes in Computer Science, 14550
Matèries:	Computer science. Software engineering. Computer Science Logic and Foundations of Programming. Software Engineering. Theory of Computation.
Accés en línia:	https://doi.org/10.1007/978-3-031-67695-6
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!