Proving properties about programs which share.
Clark, Tony (1997) Proving properties about programs which share. Technical Report. University of Bradford.
Official URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=1...
|Item Type:||Monograph (Technical Report)|
|Research Areas:||A. > School of Science and Technology > Computer Science|
A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer Science > Intelligent Environments group
|Deposited On:||01 Jul 2010 08:40|
|Last Modified:||12 Mar 2015 20:07|
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