Margaria, Tiziana, editor
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part II
[, Springer-Verlag], 2012
eBooks
Reiner Haehnle, editor
Leveraging applications of formal methods, verification, and validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
Springer, 2012
eBooks
Advances in visual computing : 8th international symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 ; revised selected papers, part I
edited by George Bebis
Springer-Verlag, 2012
eBooks
Advances in visual computing : 8th international symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 ; revised selected papers, part II
edited by George Bebis
Springer-Verlag, 2012
eBooks
Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
Springer-Verlag, 2012
eBooks