Browse by Journals
Jump to: Public
Number of items: 1.
Public
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.
[Conference or Workshop Item]