Ma'ayan, D., Maoz, S., & Ringert, J. O. (2025). Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo.
Citazione stile Chigago Style (17a edizione)Ma'ayan, Dor, Shahar Maoz, e Jan Oliver Ringert. Artifact for TOSEM Paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo, 2025.
Citatione MLA (9a ed.)Ma'ayan, Dor, et al. Artifact for TOSEM Paper: Exploring Development Methods for Reactive Synthesis Specifications. Zenodo, 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.