Tiziana Margaria-Steffen profile picture

Tiziana Margaria-Steffen

Is this your author profile? Create an account to customize it!

Stand Alone

Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging applications of formal methods
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Beijing, China, 4-6 July 2012