Modeling Concurrency in Dafny.

K. Rustan M. Leino

Published in: SETSS (2017)

Keyphrases

machine learning
three dimensional
database systems
data structure
transaction processing
neural network
data mining
genetic algorithm
high level
multiscale
multi agent systems
multiresolution
database management systems