Stephan Merz (INRIA Lorraine)

Identifiers

• name variant Stephan Merz (INRIA Lorraine) 0.60 · backfill

Papers (1)

1. Verifying Safety Properties With the TLA+ Proof System cs.LO · 2010 · author #4

Mentions

• 1011.2560 #4 · backfill · confidence 0.70 Stephan Merz (INRIA Lorraine)

Frequent Coauthors

• Damien Doligez (INRIA Rocquencourt) 1 shared papers
• Kaustuv Chaudhuri (INRIA Saclay - Ile de France) 1 shared papers
• Leslie Lamport 1 shared papers