Βεκρής, Δ., & Παπασπύρου, Ν. Σ. Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq.
Παραπομπή Chicago StyleΒεκρής, Δημήτριος, and Νικόλαος Σ Παπασπύρου. Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο Coq.
Παραπομπή MLAΒεκρής, Δημήτριος, and Νικόλαος Σ Παπασπύρου. Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο Coq.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.