Harnessing SMT Solvers for TLA+ Proofs
| Title | Harnessing SMT Solvers for TLA+ Proofs |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Merz, S, Vanzetto, H |
| Journal | ECEASST |
| Volume | 53 |
Work Package:
WP2
| Title | Harnessing SMT Solvers for TLA+ Proofs |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Merz, S, Vanzetto, H |
| Journal | ECEASST |
| Volume | 53 |
