Object-oriented refinement and proof using behaviour functions (2000)

Cached

Download Links

by Tony Clark
Venue:Proc. 3rd Workshop Rigorous Object-Oriented Methods
Citations:1 - 0 self