Industrial deployment of system engineering methods providing high dependability and productivity

 

Semantic Models for a Logic of Partial Functions

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

[img]
Preview
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

Deploy-Project - All right reserved