Login / Signup
Introduction to Program Verification.
Krzysztof R. Apt
Ernst-Rüdiger Olderog
Published in:
Formal Description of Programming Concepts (1989)
Keyphrases
</>
data mining
image processing
search algorithm
machine learning
social networks
knowledge base
website
case study
high quality
multiscale
expert systems
information technology
knowledge discovery