Login / Signup

On recursion-free Horn clauses and Craig interpolation.

Philipp RümmerHossein HojjatViktor Kuncak
Published in: Formal Methods Syst. Des. (2015)
Keyphrases