Automated Technology for Verification and Analysis
3 contributors - Paperback
£44.99
Model Checking Software
Risks and Security of Internet and Systems
5 contributors - Paperback
4 contributors - Paperback
Models, Algorithms, Logics and Tools
6 contributors - Paperback
Runtime Verification
2 contributors - Paperback
£54.99
