An embedded language approach to hardware description and verification
Licentiatavhandling, 2000
Författare
Koen Lindström Claessen
Institutionen för datavetenskap
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap