The Machine-Assisted Proof Of Programming Language Properties (1996)

Cached

Download Links

by Carl Gunter , Peter Buneman , Myra Vaninwegen , Myra Vaninwegen , Advisor Carl Gunter