Corneliu Popeea

Identifiers

• name variant Corneliu Popeea 0.60 · backfill

Papers (1)

1. Generalised Interpolation by Solving Recursion-Free Horn Clauses cs.LO · 2013 · author #2

Mentions

• 1303.7378 #2 · backfill · confidence 0.70 Corneliu Popeea

Frequent Coauthors

• Andrey Rybalchenko 1 shared papers
• Ashutosh Gupta 1 shared papers