Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

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

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation : Applications

Models, Mindsets, Meta : The What, the How, and the Why Not?

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings

Correct Hardware Design and Verification Methods

Tools and Algorithms for the Construction and Analysis of Systems

Semantic Web Services Challenge

Engineering of Computer-Based Systems

Formal Methods for Industrial Critical Systems

Service-Oriented Computing - ICSOC 2008