Proving Properties of Programs by Structural Induction (1969)

Cached

Download Links

by R. M. Burstall
Venue:Computer Journal
Citations:89 - 0 self