The Gallina Specification language: A Case Study.

Gérard P. Huet

Published in: FSTTCS (1992)

Keyphrases

specification language
formal specification
programming language
description language
software environment
test bed
symbolic execution
case study
requirements specification
machine learning
information systems
high level
data warehouse