Refinement types for specification (1998)

by E Denney
Venue:In Proc., PROCOMET