notes/science/proof/tla/books.txt
Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

6 строки
134 B
Plaintext

http://lamport.azurewebsites.net/tla/book.html
http://lamport.azurewebsites.net/tla/book-02-08-08.pdf
2018
Wayne - Practical TLAPlus