Safe and Leakproof Resource Management using Ada83 Limited Types (1993)

Cached

Download Links

by Henry G. Baker
Venue:XIII, No 5, Sep.-Oct
Citations:4 - 1 self