Login / Signup
The VIP VDM Specification Language.
Kees Middelburg
Published in:
VDM Europe (1988)
Keyphrases
</>
specification language
formal specification
programming language
description language
software environment
symbolic execution
requirements specification
software engineering
databases
information retrieval
database systems
multi agent
search algorithm