APA-Zitierstil (7. Ausg.)

Losavio, L., Paganoni, M., & Furia, C. A. (2025). Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics.

Chicago-Zitierstil (17. Ausg.)

Losavio, Lidia, Marco Paganoni, und Carlo A. Furia. Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. 2025.

MLA-Zitierstil (9. Ausg.)

Losavio, Lidia, et al. Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. 2025.