Semantical Analysis of Specification Logic, 2

Peter W. O'Hearn Robert D. Tennent

Published in: Inf. Comput. (1993)

Keyphrases

classical logic
multiscale
data analysis
programming language
database
real time
machine learning
genetic algorithm
logic programming
statistical analysis
formal methods
automated reasoning