Composition and Modular Verification of TLA+ Specs

 (muratbuffalo.blogspot.com)

2 points | by matt_d 1 hour ago

0 comments