Formal Modeling and Analysis of Timed SystemsDavid N. Jansen, Pavithra Prabhakar · First published 2018Open the Tome
Numerical Software VerificationSergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · First published 2017Open the Tome
