Structured Calculational Proof (1996)

Cached

Download Links

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