Denis Cousineau

Identifiers

• name variant Denis Cousineau 0.60 · backfill

Papers (1)

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

Mentions

• 1208.5933 #1 · backfill · confidence 0.70 Denis Cousineau

Frequent Coauthors

• Damien Doligez 1 shared papers
• Daniel Ricketts 1 shared papers
• Hern\'an Vanzetto 1 shared papers
• Leslie Lamport 1 shared papers
• Stephan Merz 1 shared papers