

Software Engineering for Resilient Systems
431,-

Automated Technology for Verification and Analysis
584,-

Software Engineering and Formal Methods
584,-

Software Verification
584,-

Database Systems for Advanced Applications
1 214,-

Networked Systems
584,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-

Software Engineering for Resilient Systems
431,-

Automated Technology for Verification and Analysis
584,-

Software Engineering and Formal Methods
584,-

Software Verification
584,-

Database Systems for Advanced Applications
1 214,-

Networked Systems
584,-

Automated Technology for Verification and Analysis
791,-

Automated Technology for Verification and Analysis
854,-

Automated Technology for Verification and Analysis
1 340,-

Automated Technology for Verification and Analysis
1 592,-













