Intuitionistic Reasoning about Shared Mutable Data Structure (2000)

Cached

Download Links

by John C. Reynolds
Venue:Millennial Perspectives in Computer Science
Citations:107 - 5 self