

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

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

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

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

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 592,-

Formal Methods and Software Engineering
584,-

Formal Techniques for Distributed Objects, Components, and Systems
674,-

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

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

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

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

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 592,-

Formal Methods and Software Engineering
584,-

Formal Techniques for Distributed Objects, Components, and Systems
674,-















