Formal refinement and proof of a small Java program.

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.

Full text not available from this repository.
Official URL: http://dl.acm.org/citation.cfm?id=704956
Item Type: Book Section
Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Depositing User: Tony Clark
Date Deposited: 12 Apr 2016 11:32
Last Modified: 10 Nov 2016 12:36
URI: http://shura.shu.ac.uk/id/eprint/11935

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics