Logo image
Towards an object-oriented refinement calculus
Conference paper   Peer reviewed

Towards an object-oriented refinement calculus

Mark Utting and Ken Robinson
Proceedings of the 14th Australian Computer Science Conference
Australian Computer Science Conference (ACSC14), 14th (Kensington, Australia, 06-Feb-1991–08-Feb-1991)
University of New South Wales
1991

Abstract

Computer Software Computation Theory and Mathematics electronic data processing
No abstract available.

Details

Metrics

620 Record Views
Logo image