Practical TLA+: Planning Driven Development

  • Length: 244 pages
  • Publication Date: 2018-10-12
3.8 (63)