Margaria, Tiziana.

Overview

Works:	1 works in 5 publications in 1 languages

Titles

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 I / by: Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Bernhard.; SpringerLink (Online service); Margaria, Tiziana. (Electronic resources)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II / by: Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service) (Electronic resources)

Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: Bouguettaya, Athman.; SpringerLink (Online service); Margaria, Tiziana.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf. (Electronic resources)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I / by: Steffen, Bernhard.; Congress on Progress and Controversies in Oncological Urology (2000:); Margaria, Tiziana.; SpringerLink (Online service) (Electronic resources)

Subjects