Numerical Software Verification More Books by Sergiy Bogomolov, Matthieu Martel & Pavithra Prabhakar

Formal Modeling and Analysis of Timed Systems

2022