Similar Listings
NASA Formal Methods - 9783319572871
ter Beek - Web Services and Formal Methods 9th International Worksho - X555z
Bobaru - NASA Formal Methods Third International Symposium NFM 2011 - X555z
Bebis - Advances in Visual Computing 9th International Symposium IS - X555z
Wen - Cyberspace Safety and Security 9th International Symposium CS - X555z
Gairing - Algorithmic Game Theory 9th International Symposium SAGT - X555z
Maffei - Trustworthy Global Computing 9th International Symposium T - X555z
Dutle - NASA Formal Methods 10th International Symposium NFM 2018 - X555z