Παραπομπή σε μορφή APA (7η εκδ.)

(2023). Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf. TU Wien Academic Press.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf. TU Wien Academic Press, 2023.

Παραπομπή σε μορφή MLA (8th εκδ.)

Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf. TU Wien Academic Press, 2023.