Login / Signup
Components and Contracts: A Semantical Foundation for Compositional Refinement.
Hardi Hungar
Published in:
MBEES (2012)
Keyphrases
</>
building blocks
database
data sets
wide range
data structure
query processing
refinement process