Tiziana Margaria-Steffen
AuthID: R-00G-DJS
11
TITLE: Leveraging Applications of Formal Methods, Verification, and Validation. 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... I
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary12
TITLE: Leveraging Applications of Formal Methods, Verification, and Validation
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
AUTHORS: Tiziana Margaria; Bernhard Steffen;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef13
TITLE: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings
AUTHORS: Michel Wermelinger; Tiziana Margaria;
PUBLISHED: 2004, SOURCE: FASE, VOLUME: 2984
AUTHORS: Michel Wermelinger; Tiziana Margaria;
PUBLISHED: 2004, SOURCE: FASE, VOLUME: 2984
INDEXED IN: 
DBLP
DBLP