Formal refinement and proof of a small Java program.

Tools

CLARK, Anthony (1999). Formal refinement and proof of a small Java program. In: MOREIRA, Ana M. D. and DEMEYER, Serge, (eds.) Proceedings of the Workshop on Object-Oriented Technology. London, Springer, p. 108. [Book Section]

More Information
Official URL:
http://dl.acm.org/citation.cfm?id=704956
Research Institute, Centre or Group - Does NOT include content added after October 2018:
Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018:
Faculty of Science, Technology and Arts > Department of Computing
Page Range:
p. 108
ISBN:
354066954X

Identifiers

ORCID for Anthony Clark: ORCID iD orcid.org/0000-0003-3167-0739

Library

Item Type:
Book Section
Depositing User:
Tony Clark
Date Deposited:
12 Apr 2016 11:32
Last Modified:
18 Mar 2021 18:15
URI:
https://shura.shu.ac.uk/id/eprint/11935
Metrics

Altmetric Badge

Dimensions Badge

Share
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Actions (login required)

View Item View Item

SHURA supports OAI 2.0 with a base URL of https://shura.shu.ac.uk/cgi/oai2