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 - 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
Downloads per month over past year