Items where Author is "Pisini, Vijay Kumar"
Group by: Item Type | No Grouping
Number of items: 1.
Pisini, Vijay Kumar (2000) Integration of HOL and MDG for hardware verification. Masters thesis, Concordia University.
Pisini, Vijay Kumar (2000) Integration of HOL and MDG for hardware verification. Masters thesis, Concordia University.