Cita APA (7a ed.)

Ma'ayan, D., Maoz, S., & Ringert, J. O. (2025). Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo.

Cita Chicago Style (17a ed.)

Ma'ayan, Dor, Shahar Maoz, y Jan Oliver Ringert. Artifact for TOSEM Paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo, 2025.

Cita MLA (9a ed.)

Ma'ayan, Dor, et al. Artifact for TOSEM Paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo, 2025.