Paperback Bog
Vis udgåede udgivelser

Udgivelser med Ezio Bartocci

19. juli 2013 – 11. september 2015

Cover for Ezio Bartocci · Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - Programming and Software Engineering (Paperback Bog) [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 - Theoretical Computer Science and General Issues (Paperback Bog) [2013 edition] (2013)

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