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
Related URLs:
    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: 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