Automated Technology for Verification and Analysis More Books by Etienne André & Jun Sun

Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2025
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2023
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2019
Je t'aime, merci Je t'aime, merci
Je t'aime, merci
2018
The Inverse Method The Inverse Method
The Inverse Method
2013