Related courses
Catalog
Course Name
234311
Yearly Project in Software Eng. - Stage A.
234312
Yearly Project in Software Eng. - Stage B.
234319
Programming Languages.
236321
Introduction to Software Engineering.
236342
Introduction to Software Verification.
236368
Formal Specifications for Complex Systems.
236700
Software design.
(see also the old course site)
236701
Program Correctness
236703
Object Oriented Programming
Advanced topics in CS.
Seminar