Hardcover Book Paperback Book
Montrer les articles indisponibles

Communiqués par 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)

1st ed. 2023 edition

Automated Technology for Verific... (2023)

Étienne André

Cover for Etienne Andre · The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Hardcover Book) (2013)

The Inverse Method: Parametric V... (2013)