CSCI B619 - Topics In Applied Logic
Spring 2019
- Instructor: Daniel Leivant (leivant)
- Sections: 32858
- Topic: Program Verification
Fall 2018
- Instructor: Daniel Leivant (leivant)
- Sections: 34458
- Topic: Proof Thry & Contructive Math
Spring 2013
Fall 2011
- Instructor: Daniel Leivant (leivant)
- Sections: 31629
- Topic: Verification and Logics Of Programs