Items where Author is "Ahmed, Inaam"Group by: Item Type | No Grouping Jump to: Thesis Number of items: 1. ThesisAhmed, Inaam (2020) Verification of concurrent HARPO programs using formal verification theory. Masters thesis, Memorial University of Newfoundland. |