Items where Author is "Fazilatunnessa"Group by: Item Type | No Grouping Number of items: 1. Fazilatunnessa (2012) Techniques for developing verified concurrent programs based on monitors and semaphores. Masters thesis, Memorial University of Newfoundland. |
