Login / Signup
Verified programs with binders.
Martin Clochard
Claude Marché
Andrei Paskevich
Published in:
PLPV (2014)
Keyphrases
</>
databases
e learning
website
computer programs
database
real time
machine learning
metadata
case study
fixpoint
program execution
control structures
free software