Refinement Types for Specification (1998)

View PDF

Download Links

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