Refinement Types for Specification (1998)

Cached

Download Links

by E. Denney
Venue:IFIP Working Conference on Programming Concepts and Methods (PROCOMET ’98), Shelter Island
Citations:9 - 2 self