Program Refinement by Theorem Prover (1994)

Cached

Download Links

by J. von Wright
Venue:In BCS FACS Sixth Refinement Workshop -- Theory and Practise of Formal Software Development. 5th -- 7th January
Citations:21 - 1 self