Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .
![]()
| PDF 200Kb |
Item Type: | Monograph (Technical Report) |
---|---|
Subjects: | Methodology > Proof and model checking |
ID Code: | 281 |
Deposited By: | Prof Cliff Jones |
Deposited On: | 31 Jan 2011 17:19 |
Last Modified: | 31 Jan 2011 17:19 |
Repository Staff Only: item control page