Browse by Journals
Jump to: 2000
Number of items: 1.
2000
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.