
Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

OpenMP
674,-

Applied Reconfigurable Computing
584,-

Hardware and Software
584,-

Software, Services, and Systems
584,-

Search-Based Software Engineering
611,-

Hardware and Software
584,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 592,-

OpenMP
674,-

Applied Reconfigurable Computing
584,-

Hardware and Software
584,-

Software, Services, and Systems
584,-

Search-Based Software Engineering
611,-

Hardware and Software
584,-













