Kaustuv C. Chaudhuri (MRI)

Identifiers

• name variant Kaustuv C. Chaudhuri (MRI) 0.60 · backfill

Papers (1)

1. A TLA+ Proof System cs.LO · 2008 · author #1

Mentions

• 0811.1914 #1 · backfill · confidence 0.70 Kaustuv C. Chaudhuri (MRI)

Frequent Coauthors

• Damien Doligez (INRIA Rocquencourt) 1 shared papers
• Leslie Lamport 1 shared papers
• Stephan Merz (INRIA Lorraine - LORIA) 1 shared papers