Jean-Christophe Filliâtre, C. P. Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή Chicago (17η εκδ.)
Jean-Christophe Filliâtre, Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Berlín, Alemania: Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή MLA (9th εκδ.)
Jean-Christophe Filliâtre, Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.