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