Harnessing SMT Solvers for TLA+ Proofs

TitleHarnessing SMT Solvers for TLA+ Proofs
Publication TypeJournal Article
Year of Publication2012
AuthorsMerz, S, Vanzetto, H
JournalECEASST
Volume53
Work Package: 
WP2