

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

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

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

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

Formal Methods and Software Engineering
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-

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

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

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

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

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

Formal Methods and Software Engineering
584,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-

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















