Semantical Analysis of Specification Logic.

Robert D. Tennent

Published in: Logic of Programs (1985)

Keyphrases

classical logic
website
real time
data sets
information retrieval
image sequences
data analysis
manual inspection