

Formal Methods for Multicore Programming
476,-

Human-Centered Software Engineering
1 214,-

Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
1 592,-

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
584,-

Accelerator Programming Using Directives
584,-

Database Systems for Advanced Applications
1 214,-

Formal Methods for Multicore Programming
476,-

Human-Centered Software Engineering
1 214,-

Automated Technology for Verification and Analysis
584,-

Automated Technology for Verification and Analysis
1 592,-

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
584,-

Accelerator Programming Using Directives
584,-

Database Systems for Advanced Applications
1 214,-













