Login / Signup
Refinement types for specification.
Ewen Denney
Published in:
PROCOMET (1998)
Keyphrases
</>
real time
case study
image processing
similarity measure
lower bound
expert systems
formal specification
multiple types
refinement process