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. [Book Section]

More Information
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