Tiziana Margaria-Steffen
AuthID: R-00G-DJS
11
TÃTULO: Leveraging Applications of Formal Methods, Verification, and Validation. 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... I
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef 
Openlibrary
CrossRef Openlibrary12
TÃTULO: Leveraging Applications of Formal Methods, Verification, and Validation
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
AUTORES: Tiziana Margaria; Bernhard Steffen;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef13
TÃTULO: 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
AUTORES: Michel Wermelinger; Tiziana Margaria;
PUBLICAÇÃO: 2004, FONTE: FASE, VOLUME: 2984
AUTORES: Michel Wermelinger; Tiziana Margaria;
PUBLICAÇÃO: 2004, FONTE: FASE, VOLUME: 2984
INDEXADO EM: 
DBLP
DBLP