David Carrington

发表

VDM and the Refinement Calculus: a comparison of two systematic design methods

David Carrington, 1993 .

Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, ACSE 1998, The University of Queensland, Brisbane, Queensland, Australia, July 8-10, 1998

David Carrington, 1998, ACSE.