6 works on record
Digitaltechnik - eine praxisnahe Einfu hrung
Decision Procedures
Validation of Evolving Software
Computer Aided Verification
Verified Software : Theories, Tools and Experiments
Model Checking, Second Edition
1999
