4 works on record
Computer Aided Verification
Validation of Evolving Software
Tools and Algorithms for the Construction and Analysis of Systems
2023
Software Verification