Deductive program verification (a practitioner's commentary).

David A. Nelson

Published in: Minds Mach. (1992)

Keyphrases

current status
project management
abductive inference
object oriented
deductive reasoning
domain knowledge
database
machine learning
general purpose
information retrieval
training data
relational databases