Proving properties about programs which share.

Clark, Tony (1997) Proving properties about programs which share. Technical Report. University of Bradford.

[img]
Preview
PDF
224kB

Official URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...


Item Type:Monograph (Technical Report)
Research Areas:A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science
A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
ID Code:6188
Deposited On:01 Jul 2010 08:40
Last Modified:04 Mar 2015 14:39

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year