Using Algebraic Specification in Floyd-Hoare Assertions.

Hantao Zhang Angshuman Guha Xin Hua

Published in: AMAST (1991)

Keyphrases

knowledge base
higher order
data sets
search engine
high level
information retrieval
computer vision
information systems
decision making
search algorithm
formal methods
formal verification
algebraic structure
provably correct