Exploring type theory and its application to hardware verification
Licentiate thesis, 2001
Author
Mia Indrika
Department of Computer Science
Subject Categories
Computer Science