Exploring type theory and its application to hardware verification
Licentiate thesis, 2001

Author

Mia Indrika

Department of Computer Science

Subject Categories (SSIF 2011)

Computer Science

More information

Created

10/6/2017