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