Modular reasoning about structured TLA specifications.
Tool Support for System Specification, Development and Verification. 1998 S. 217 - 229
Erscheinungsjahr: 1998
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-7091-6355-9_16
| Geprüft: | Bibliothek |
