Computability in Specification.

Published in: J. Log. Comput. (2006)

Keyphrases

specification language
high level
formal verification
real world
machine learning
computer vision
case study
software engineering
formal specification
formal methods
tool suite