@inproceedings{cousineau:hal-00726632, TITLE = {{TLA+ Proofs}}, AUTHOR = {Cousineau, Denis and Doligez, Damien and Lamport, Leslie and Merz, Stephan and Ricketts, Daniel and Vanzetto, Hern{\'a}n}, URL = {https://inria.hal.science/hal-00726632}, BOOKTITLE = {{AI meets Formal Software Development}}, ADDRESS = {Dagstuhl, Germany}, PAGES = {16 p.}, YEAR = {2012}, MONTH = Jul, HAL_ID = {hal-00726632}, HAL_VERSION = {v1}, }