Structured Calculational Proof (1996)

Cached

Download Links

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