

Advances in Visual Informatics
584,-

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

Dependable Software Engineering. Theories, Tools, and Applications
791,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Trends in Functional Programming
458,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Advances in Visual Informatics
584,-

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

Dependable Software Engineering. Theories, Tools, and Applications
791,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Trends in Functional Programming
458,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-













