Tony Clark. Object-Oriented Refinement and Proof using Behaviour Functions. In Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.