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

2018 Formal Methods in Computer Aided Design (FMCAD). IEEE.

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

2018 Formal Methods in Computer Aided Design (FMCAD). IEEE.

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

2018 Formal Methods in Computer Aided Design (FMCAD). IEEE.