Stephan Merz, Hernán Vanzetto. Refinement Types for TLA+. Julia M. Badger and Kristin Yvonne Rozier.
NASA Formal Methods - 6th International Symposium, 2014, Houston, Texas, United States. Springer, 8430, pp.143-157, 2014, LNCS.
〈10.1007/978-3-319-06200-6_11〉.
〈hal-01063516〉