klaus havelund
NASA Formal Methods
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods,...
Formal Approaches to Software Testing and Runtime Verification
TaschenbuchPrint on DemandSoftware validation is one of the most cost-intensive tasks in modern software production process...
Model Checking Software
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...
SPIN Model Checking and Software Verification
TaschenbuchPrint on DemandThe SPIN workshop is a forum for researchers interested in the subject of automata-based, explici...
NASA Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal ...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...
Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 22nd International Symposium on Formal Meth...
NASA Formal Methods
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods,...
- 1