Formal Modeling and Analysis of Timed SystemsSergiy Bogomolov, David Parker · First published 2022Open the Tome
Numerical Software VerificationSergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · First published 2017Open the Tome
