Reasoning about Programs with Effects (1990)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:11 - 6 self

Document Versions

Reasoning about Programs with Effects –Ian Mason, Carolyn Talcott — 1990