Practical TLA+: Planning Driven Development by Hillel Waynearrow-up-right
Using formal methods at Amazonarrow-up-right
Last updated 5 years ago