Elena Giachino
Identifiers
- name variant Elena Giachino 0.60 · backfill
Papers (1)
- Deadlock detection in linear recursive programs cs.PL · 2013 · author #1
Mentions
- 1310.7449 #1 · backfill · confidence 0.70 Elena Giachino
Frequent Coauthors
- Cosimo Laneve 1 shared papers