Login / Signup
Iterator specification with typestates.
Kevin Bierhoff
Published in:
SAVCBS@FSE (2006)
Keyphrases
</>
high level
formal specification
ims learning design
machine learning
formal verification
image sequences
data structure
specification language
databases
neural network
data mining
computer vision
multi agent systems
software development
conceptual model
business rules