Login / Signup
Program Invariants (Invited Talk).
Joël Ouaknine
Published in:
CONCUR (2019)
Keyphrases
</>
invited talk
selected papers
knowledge discovery and data mining
imperative programs
computer science
moment invariants
carefully reviewed and selected from submissions
machine learning
computer programs
real world
data mining
fuzzy logic
learning experience
program committee