Composition and Modular Verification of TLA+ Specs

(muratbuffalo.blogspot.com)

2 points | by matt_d 7 hours ago ago