Proving properties about programs which share.

Technical report

Clark, T. 1997. Proving properties about programs which share. University of Bradford.
TypeTechnical report
TitleProving properties about programs which share.
AuthorsClark, T.
Research GroupResearch Group on Development of Intelligent Environments
SensoLab group
PublisherUniversity of Bradford
Publication process dates
Deposited01 Jul 2010
Completed1997
Output statusPublished
Web address (URL)http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7196
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/82y15

Log in to edit

Download files

  • 36
    total views
  • 6
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as