(2020). Formal methods in computer science / Jiacun Wang, William Tepfenhart.
Παραπομπή σε μορφή Chicago (17η εκδ.)Formal Methods in Computer Science / Jiacun Wang, William Tepfenhart. 2020.
Παραπομπή σε μορφή MLA (9th εκδ.)Formal Methods in Computer Science / Jiacun Wang, William Tepfenhart. 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.