COMPSCI 3EA3 — Software and System Correctness
Formal specifications in software and system development; validation; verification; presentation of information; practical experience in formal specification and tool-supported verification.
Terms offered: Winter