A module interface specification language.

Edward W. Thompson Robert F. Bridge

Published in: DAC (1975)

Keyphrases

specification language
description language
formal specification
programming language
symbolic execution
user interface
software environment
model checker
requirements specification
real world
high level
database systems
cooperative
data model
building blocks
model checking