Damien Doligez

Identifiers

• name variant Damien Doligez 0.60 · backfill

Papers (1)

1. TLA+ Proofs cs.SE · 2012 · author #2

Mentions

• 1208.5933 #2 · backfill · confidence 0.70 Damien Doligez

Frequent Coauthors

• Daniel Ricketts 1 shared papers
• Denis Cousineau 1 shared papers
• Hern\'an Vanzetto 1 shared papers
• Leslie Lamport 1 shared papers
• Stephan Merz 1 shared papers