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

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.

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

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.

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

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE.