Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningTiziana Margaria, Bernhard Steffen · First published 2022Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. PracticeTiziana Margaria, Bernhard Steffen · First published 2022Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. Software EngineeringTiziana Margaria, Bernhard Steffen · First published 2022Open the Tome
Leveraging Applications of Formal Methods, Verification and ValidationTiziana Margaria, Bernhard Steffen · First published 2008 · Latest edition 2020Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria, Bernhard Steffen · First published 2018Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and ApplicationsTiziana Margaria, Bernhard Steffen · First published 2014Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering ChangeTiziana Margaria, Bernhard Steffen · First published 2014Open the Tome
Formal Methods for Industrial Critical SystemsStefania Gnesi, Tiziana Margaria · First published 2012Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case StudiesTiziana Margaria-Steffen · First published 2012Open the Tome
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering ChangeTiziana Margaria-Steffen · First published 2012Open the Tome
Leveraging Applications of Formal Methods, Verification, and ValidationTiziana Margaria-Steffen · First published 2010Open the Tome
Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium ProceedingsTiziana Margaria · First published 2008Open the Tome
Semantic Web Services ChallengeCharles Petrie, Holger Lausen, Tiziana Margaria · First published 2008Open the Tome
Leveraging applications of formal methodsTiziana Margaria-Steffen · First published 2006Open the Tome
Correct Hardware Design and Verification MethodsTiziana Margaria, Tom Melham · First published 2003Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsAxel Legay, Tiziana Margaria · First published 2003Open the Tome
