

Engineering Secure Software and Systems
584,-

Engineering Trustworthy Software Systems
611,-

Formal Methods and Software Engineering
584,-

Networked Systems
584,-

Testing Software and Systems
791,-

Automated Technology for Verification and Analysis
584,-

Software Verification
611,-

Search-Based Software Engineering
791,-

Computer Aided Verification
431,-

Database Systems for Advanced Applications
1 214,-

Engineering Secure Software and Systems
584,-

Engineering Trustworthy Software Systems
611,-

Formal Methods and Software Engineering
584,-

Networked Systems
584,-

Testing Software and Systems
791,-

Automated Technology for Verification and Analysis
584,-

Software Verification
611,-

Search-Based Software Engineering
791,-

Computer Aided Verification
431,-

Database Systems for Advanced Applications
1 214,-














