O'Regan, G. (2017). Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)O'Regan, Gerard. Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Cham: Springer International Publishing : Imprint: Springer, 2017.
Παραπομπή σε μορφή MLA (8th εκδ.)O'Regan, Gerard. Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. Springer International Publishing : Imprint: Springer, 2017.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
