4 works on record
Testing Software and Systems
Integrated Formal Methods
2024
Tests and Proofs
2015
Guide to Software Verification with Frama-C