Items where Author is "ABBASI, NAEEM"
Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
ABBASI, NAEEM (2012) Formal Reliability Analysis using Higher-order Logic Theorem Proving. PhD thesis, Concordia University.
Up a level |
ABBASI, NAEEM (2012) Formal Reliability Analysis using Higher-order Logic Theorem Proving. PhD thesis, Concordia University.