Login / Signup
Antichains for the Verification of Recursive Programs.
Lukás Holík
Roland Meyer
Published in:
NETYS (2015)
Keyphrases
</>
recursive programs
program synthesis
logic programs
transformation rules
model checking
logic programming
database systems
metamodel
access methods