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.

Item Type:	Book Section
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
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

Actions (login required)

View Item

Downloads

Publication Metrics