Similar Listings
Petrucci - Critical Systems Formal Methods and Automated Verification - X555z
ter Beek - Critical Systems Formal Methods and Automated Verification - X555z
Schneider - Verification of Reactive Systems Formal Methods and Algo - X555z
Margaria - Leveraging Applications of Formal Methods Verification and - X555z
Formal Hardware Verification : Methods and Systems in Comparison, Paperback b...
Kreowski - Formal Methods in Software and Systems Modeling Essays De - X555z
Formal Hardware Verification : Methods and Systems in Comparison, Paperback b...
Jones - Formal Methods and Hybrid Real-Time Systems Essays in Honour - X555z