TY  - RPRT
TI  - Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
AU  - Igor Konnov
AU  - Markus Kuppe
AU  - Stephan Merz
PY  - 2022
DO  - 10.1007/978-3-031-19849-6_6
UR  - https://arxiv.org/abs/2211.07216
ID  - 2211.07216
ER  -