Microsoft Research - Reasoning about the TLA+ operator ENABLED within TLAPS | JRC Workshop 2021
Sign in to continue reading, translating and more.
