Practical TLA+: Planning Driven Development by Hillel Wayne
Using formal methods at Amazon
Last updated 5 years ago