Lanzamientos por Etienne Andre

Cover for Étienne André · Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2023 edition] (2023)
Paperback Book
1st ed. 2023 edition
Automated Technology for Verific...
Étienne André
Cover for Etienne Andre · The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Hardcover Book) (2013)
Hardcover Book
The Inverse Method: Parametric V...
Etienne Andre