Login / Signup
Program Verification and Programming Methodology.
K. Rustan M. Leino
Published in:
Abstract State Machines (2005)
Keyphrases
</>
programming language
image processing
conceptual framework
neural network
real time
data sets
machine learning
website
search algorithm
expert systems
relational databases
visual basic
development environment
high level language