University of Calgary

SENG 523 - Formal Methods - Winter 2017

Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.

Hours

  • H(3-2T)

Prerequisite(s)

  • Software Engineering 403 or 411.

Sections

This course will be offered next in Fall 2017.
Powered by UNITIS. More features.