Login / Signup
A Type Checking Tool for a Formal Specification Language.
Nikos Mylonakis
J. Perez Campo
Published in:
GULP-PRODE (2) (1994)
Keyphrases
</>
formal specification language
type checking
temporal logic
formal methods
formal specification
databases
data types
user defined
query processor
data sources
building blocks
query optimization