TLA+ Proofs
| Title | TLA+ Proofs |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Cousineau, D, Doligez, D, Lamport, L, Merz, S, Ricketts, D, Vanzetto, H |
| Editor | Giannakopoulou, D, Méry, D |
| Conference Name | 18th Intl. Symp. Formal Methods (FM 2012) |
| Publisher | Springer |
| Conference Location | Paris, France |
Work Package:
WP2
