

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

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

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

Formal Methods and Software Engineering
584,-

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

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Models, Algorithms, Logics and Tools
584,-

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

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

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

Formal Methods and Software Engineering
584,-

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

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
791,-

Models, Algorithms, Logics and Tools
584,-















