Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617
Παραπομπή σε μορφή Chicago (17η εκδ.)Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617.
Παραπομπή σε μορφή MLA (9th εκδ.)Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.