Books by Tiziana Margaria
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium
Engineering of Computer-Based
Engineering of Computer-Based Systems
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Models, Mindsets, Meta : The What, the How, and the Why Not?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Verification
SOFSEM 2017 : Theory and Practice of Computer Science
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Leveraging Applications of For
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Semantic Web Services Challenge
Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings