Search results
Jump to navigation
Jump to search
- ...ebisch + independent [https://fricas.github.io/contributors.html group] of people |license = [[BSD licenses|Modified BSD License]] ...8 KB (1,103 words) - 15:09, 3 July 2024
- | url = http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-spec-tla-plus.pdf | url = http://research.microsoft.com/en-us/um/people/lamport/tla/tla2-guide.pdf ...40 KB (5,355 words) - 06:27, 17 January 2025