Formal Justification of Underspecification for S5.

Eric Aaron David Gries

Published in: Inf. Process. Lett. (1997)

Keyphrases

formal model
formal methods
formal specification
formal analysis
database
feature extraction