tla-ci - TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+".

- TLA
Published by TimSoethout over 5 years ago