2 works on record
Verification and Evaluation of Computer and Communication Systems
Formal Methods and Software Engineering