An Overview of Specification Language Universe.

Ming-Yuan Zhu Cheng-Wei Wang

Published in: IFIP Congress (1) (1992)

Keyphrases

specification language
programming language
description language
formal specification
software environment
symbolic execution
databases
data structure
distributed systems