Enrico Tassi (MARELLE)

Identifiers

• name variant Enrico Tassi (MARELLE) 0.60 · backfill

Papers (1)

1. Asynchronous processing of Coq documents: from the kernel up to the user interface cs.LO · 2015 · author #3

Mentions

• 1506.05605 #3 · backfill · confidence 0.70 Enrico Tassi (MARELLE)

Frequent Coauthors

• Bruno Barras 1 shared papers
• Carst Tankink (SPECFUN) 1 shared papers