Specifications in an Arbitrary Institution

Donald Sannella Andrzej Tarlecki

Published in: Inf. Comput. (1988)

Keyphrases

high level
higher education
delay insensitive
neural network
computer vision
multiscale
information technology
user defined
formal specification
formal verification