Exploring type theory and its application to hardware verification
Licentiatavhandling, 2001
Författare
Mia Indrika
Institutionen för datavetenskap
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)