Devine, Michel Patrick (1984) A program verifier for total correctness based on intuitionistic type theory. Masters thesis, Concordia University.
|Item Type:||Thesis (Masters)|
|Authors:||Devine, Michel Patrick|
|Pagination:||iv, 125 leaves ; 29 cm.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 19:43|
|Last Modified:||08 Dec 2010 15:39|
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page