Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17–19, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15- (Paperback)