A Specification Technique Based on Predicate Transformers.

Harald Würgers

Published in: Acta Informatica (1981)

Keyphrases

first order logic
real time
face recognition
programming language
formal specification
specification language
partial discharge
data sets
neural network
information retrieval
artificial intelligence
computer vision
case study
conceptual model
temporal ordering