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