APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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