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

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
584,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

Critical Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Declarative Programming and Knowledge Management
584,-

Deductive Software Verification
584,-

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

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
791,-

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
584,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

Critical Systems
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Declarative Programming and Knowledge Management
584,-

Deductive Software Verification
584,-











