Devine, Michel Patrick (1984) A program verifier for total correctness based on intuitionistic type theory. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
5MBML24575.pdf |
| Divisions: | Concordia University |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Devine, Michel Patrick |
| Pagination: | iv, 125 leaves ; 29 cm. |
| Institution: | Concordia University |
| Degree Name: | M. Comp. Sc. |
| Date: | 1984 |
| Identification Number: | QA 76.6 D475X 1984 |
| ID Code: | 4622 |
| Deposited By: | Concordia University Library |
| Deposited On: | 27 Aug 2009 19:43 |
| Last Modified: | 13 Jul 2020 19:57 |
| Related URLs: |
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
Download Statistics
Download Statistics