Leslie Lamport
Last modified on 30 December 2018
The TLA+ web site once contained a page with this URL. The information contained on that page is no longer on the site.
Back