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

Loulergue, F., & Proust, O. (2026). Deductively verifying functional scalable parallel programs with <sc>Why3</sc>. Software and Systems Modeling, 25(4), 1033. https://doi.org/10.1007/s10270-025-01340-y

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

Loulergue, Frédéric, και Olivia Proust. "Deductively Verifying Functional Scalable Parallel Programs with Why3." Software and Systems Modeling 25, no. 4 (2026): 1033. https://doi.org/10.1007/s10270-025-01340-y.

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

Loulergue, Frédéric, και Olivia Proust. "Deductively Verifying Functional Scalable Parallel Programs with Why3." Software and Systems Modeling, vol. 25, no. 4, 2026, p. 1033, https://doi.org/10.1007/s10270-025-01340-y.