Releases by Ezio Bartocci

In stock at iMusic Show unavailable items

Cover for Ezio Bartocci · Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Runtime Verification: 6th Intern... (2015)

Cover for Ezio Bartocci · Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Model Checking Software: 20th In... (2013)