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
Actions (login required)
View Item |