Tiziana Margaria

Books by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II

Tiziana Margaria, Bernhard Steffen

5

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Part II

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III

Tiziana Margaria, Bernhard Steffen

5

Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

Jan Kofron, Tiziana Margaria, Cristina Seceleanu

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV

Tiziana Margaria, Bernhard Steffen

5

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... I

Tiziana Margaria, Bernhard Steffen

5