A Case Study in ADT Implementation Verification.

Published in: Comput. Sci. Educ. (1992)

Keyphrases

implementation details
efficient implementation
social networks
case study
hardware implementation
data sets
information retrieval
multiscale
expert systems
model checking
parallel implementation
future development
implementation issues
code generation