A Logical Framework for Program Analysis (1992)

Cached

Download Links

by Geoffrey Burn
Venue:Proceedings of the 1992 Glasgow Functional Programming Workshop
Citations:7 - 0 self