Login / Signup
Spade: Verification of Multithreaded Dynamic and Recursive Programs.
Gaël Patin
Mihaela Sighireanu
Tayssir Touili
Published in:
CAV (2007)
Keyphrases
</>
recursive programs
program synthesis
logic programs
query processing
logic programming