Program Derivation Using the Refinement Calculator (1996)

Cached

Download Links

by Michael Butler , Thomas Långbacka
Venue:Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science
Citations:6 - 3 self

Document Versions

Program Derivation Using the Refinement Calculator –Michael Butler, Thomas Långbacka — 1996 — Theorem Proving in Higher Order Logics: 9th International Conference, volume 1125 of Lecture Notes in Computer Science