Compiler Construction
Compiler Construction Lab
Requirements Engineering
Trends in Automated Verification
Trends in Software Engineering