Software Engineering and Formal MethodsCarla Ferreira, Tim A. C. Willemse · First published 2023Open the Tome
Formal Techniques for Distributed Objects, Components, and SystemsKirstin Peters, Tim A. C. Willemse · First published 2021Open the Tome
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen, Tim Willemse · First published 2019Open the Tome
Semantics and verification in process algebras with data and timingTim Willemse · First published 2003Open the Tome
