Login / Signup

Automatic Verification of TLA + Proof Obligations with SMT Solvers.

Stephan MerzHernán Vanzetto
Published in: LPAR (2012)
Keyphrases