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