Carst Tankink (SPECFUN)

Identifiers

• name variant Carst Tankink (SPECFUN) 0.60 · backfill

Papers (1)

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

Mentions

• 1506.05605 #2 · backfill · confidence 0.70 Carst Tankink (SPECFUN)

Frequent Coauthors

• Bruno Barras 1 shared papers
• Enrico Tassi (MARELLE) 1 shared papers