Model Checking Software - 9783642391750

Bartocci - Model Checking Software 20th International Symposium SPI - X555z

Static Analysis 20th International Symposium SAS 2013 Seattle WA

Model Checking Software 22nd International Symposium SPIN 2015 St

Giambattista Vico: An International Symposium

Die Völkerschlacht bei Leipzig : Symposium 8. November 2013. Heeresgeschichtlich

Model Checking Software 25th International Symposium SPIN 2018 Ma

New Light on Ancient Carthage. Papers of the Symposium Sponsored by the Kelsey