Mihaela Sighireanu (LIAFA)

Identifiers

• name variant Mihaela Sighireanu (LIAFA) 0.60 · backfill

Papers (1)

1. On Automated Lemma Generation for Separation Logic with Inductive Definitions cs.LO · 2015 · author #2

Mentions

• 1507.05581 #2 · backfill · confidence 0.70 Mihaela Sighireanu (LIAFA)

Frequent Coauthors

• Constantin Enea (LIAFA) 1 shared papers
• Zhilin Wu 1 shared papers