Structured Calculational Proof (1996)

Cached

Download Links

by Ralph Back , Jim Grundy , Joakim von Wright , Turku Centre , Computer Science
Citations:16 - 9 self

Document Versions

Structured Calculational Proof –Ralph Back, Jim Grundy, Joakim von Wright, Turku Centre, Computer Science — 1996
Structured Calculational Proof –Ralph Back, Jim Grundy, Joakim von Wright — 1996 — Formal Aspects of Computing
Structured Calculational Proof –Ralph Back, Jim Grundy, Joakim Von Wright — 1996
Structured Calculational Proof –Ralph Back, Jim Grundy, Joakim von Wright — 1996