DMCA

Towards Correct Executable Semantics For Z (1994)

Cached

Download Links

by Peter T. Breuer , Jonathan P. Bowen
Venue:Z USER WORKSHOP, CAMBRIDGE 1994, WORKSHOPS IN COMPUTING
Citations:27 - 4 self