Login / Signup
Lightweight Support for Magic Wands in an Automatic Verifier (Artifact).
Malte Schwerhoff
Alexander J. Summers
Published in:
Dagstuhl Artifacts Ser. (2015)
Keyphrases
</>
lightweight
development environments
data driven
object model