Computer Science
CS 7485: Special Topics in Formal Methods
Lecture - 4 credits
ND
EI
IC
FQ
SI
AD
DD
ER
WF
WD
WI
EX
CE
- Offers various topics in formal methods.
- May be repeated without limit.
Offers various topics in formal methods. Show more.
Lecture - 4 credits