Stock, S., Leuschel, M., & Mashkoor, A. (2025). Failure divergence refinement for Event-B.
Chicago-Zitierstil (17. Ausg.)Stock, Sebastian, Michael Leuschel, und Atif Mashkoor. Failure Divergence Refinement for Event-B. 2025.
MLA-Zitierstil (9. Ausg.)Stock, Sebastian, et al. Failure Divergence Refinement for Event-B. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.