Παραπομπή APA

Παπακυριάκου, Μ. Α. Υλοποίηση μιας γλώσσας τύπων με εφαρμογές στην πιστοποίηση εκτελέσιμου κώδικα.

Παραπομπή Chicago Style

Παπακυριάκου, Μιχάλης Α. Υλοποίηση μιας γλώσσας τύπων με εφαρμογές στην πιστοποίηση εκτελέσιμου κώδικα.

Παραπομπή MLA

Παπακυριάκου, Μιχάλης Α. Υλοποίηση μιας γλώσσας τύπων με εφαρμογές στην πιστοποίηση εκτελέσιμου κώδικα.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.