Matko Botin\v{c}an

Identifiers

• name variant Matko Botin\v{c}an 0.60 · backfill

Papers (1)

1. Refining Existential Properties in Separation Logic Analyses cs.LO · 2015 · author #1

Mentions

• 1504.08309 #1 · backfill · confidence 0.70 Matko Botin\v{c}an

Frequent Coauthors

• Mike Dodds 1 shared papers
• Stephen Magill 1 shared papers