pith. sign in

Jonathan Hayman

Identifiers

  • name variant Jonathan Hayman 0.60 · backfill

Papers (1)

  1. Independence and concurrent separation logic cs.LO · 2008 · author #1

Mentions

  • 0802.0820 #1 · backfill · confidence 0.70 Jonathan Hayman

Frequent Coauthors