Items where Author is "Hoque, Khaza Anuarul"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Hoque, Khaza Anuarul (2011) Integrating SAT with MDG for Efficient Invariant Checking. Masters thesis, Concordia University.
| Up a level |
Hoque, Khaza Anuarul (2011) Integrating SAT with MDG for Efficient Invariant Checking. Masters thesis, Concordia University.
