Z and HOL (1994)

Cached

Download Links

by Jonathan P. Bowen , Michael J. C. Gordon , Mike Gordon

Document Versions

Z and HOL –Jonathan P. Bowen, Michael J. C. Gordon, Mike Gordon — 1994