Francesco Tapparo
Identifiers
- name variant Francesco Tapparo 0.60 · backfill
Papers (4)
- Computing Stuttering Simulations cs.LO · 2009 · author #2
- An efficient simulation algorithm based on abstract interpretation cs.LO · 2007 · author #2
- Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation cs.LO · 2006 · author #2
- Generalized Strong Preservation by Abstract Interpretation cs.LO · 2004 · author #2
Mentions
Frequent Coauthors
- Francesco Ranzato 4 shared papers