Login / Signup
A Separation Logic Framework for Imperative HOL.
Peter Lammich
Rene Meis
Published in:
Arch. Formal Proofs (2012)
Keyphrases
</>
data sets
multi agent systems
main contribution
logical framework
data mining
decision trees
probabilistic model
higher order
bayesian framework
formal methods