Steffen, Bernhard.

Overview

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

Subjects