pith. sign in

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