Composition and Modular Verification of TLA+ Specs

2 pointsposted 7 hours ago
by matt_d
(muratbuffalo.blogspot.com)

No comments yet