Automated Technology for Verification and Analysis
3 contributors - Paperback
£44.99
Formal Techniques for Safety-Critical Systems
2 contributors - Paperback
Subscribe to our newsletter, and stay in the loop:
