

Fundamental Approaches to Software Engineering
431,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

Integrated Formal Methods
584,-

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
458,-

Formal Methods in Outer Space
611,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Fundamental Approaches to Software Engineering
431,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Frontiers of Combining Systems
791,-

Frontiers of Combining Systems
431,-

Integrated Formal Methods
584,-

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
458,-

Formal Methods in Outer Space
611,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-















