Login / Signup

An Operational Semantics for Constraint-Logic Imperative Programming.

Jan C. DagefördeHerbert Kuchen
Published in: DECLARE (2017)
Keyphrases