Proving properties about programs which share.

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

[img]
Preview
PDF
Download (224kB) | Preview
Item Type: Monograph (Technical Report)
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6188
Depositing User: Devika Mohan
Date Deposited: 01 Jul 2010 08:40
Last Modified: 15 Jun 2021 12:31
URI: https://eprints.mdx.ac.uk/id/eprint/6188

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
133Downloads
437Hits

Additional statistics are available via IRStats2.