Login / Signup
Large-scale system development using Abstract Data Types and refinement.
Andreas Fürst
Thai Son Hoang
David A. Basin
Naoto Sato
Kunihiko Miyazaki
Published in:
Sci. Comput. Program. (2016)
Keyphrases
</>
abstract data types
software engineering
data types
information processing
website
relational databases
data sources
decision support