University of Calgary
SENG 523 - Formal Methods - Fall 2021
Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.This course will be offered next in Fall 2022.
This course may not be repeated for credit.
Hours
- H(3-2T)
Prerequisite(s)
- 3 units from Software Engineering 300, 301 or Software Engineering for Engineers 480.
Sections
LEC 1 MWF 11:00 - 11:50 Yingxu Wang TUT 1 M 16:00 - 17:50
Powered by UNITIS. More features.