

Hardware and Software
584,-

Search-Based Software Engineering
611,-

Automated Technology for Verification and Analysis
584,-

Hardware and Software
584,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-

Computer Performance Engineering
584,-

Search-Based Software Engineering
611,-

Hardware and Software
584,-

Search-Based Software Engineering
611,-

Automated Technology for Verification and Analysis
584,-

Hardware and Software
584,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
791,-

Computer Performance Engineering
584,-

Search-Based Software Engineering
611,-













