Login / Signup
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dirk Beyer
Marieke Huisman
Vladimir Klebanov
Rosemary Monahan
Published in:
Dagstuhl Reports (2014)
Keyphrases
</>
complex systems
distributed systems
image processing
website
expert systems
probabilistic model
computer systems
neural network
real world
machine learning
e learning
three dimensional
software engineering
learning systems