Browse by Journals
Jump to: C
Number of items: 1.
C
CLARK, Anthony
(2000).
Object-oriented refinement and proof using behaviour functions.
In: Rigorous Object-Oriented Methods 2000, York, 1 January 2000.
BCS Electronic Workshops in Computing.