Book Review: Practical TLA+

2 points by vinipolicena 6 years ago | 0 comments