Boulanger, J. (2012). Industrial Use of Formal Methods: Formal Verification.
Παραπομπή σε μορφή Chicago (17η εκδ.)Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. 2012.
Παραπομπή σε μορφή MLA (9th εκδ.)Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.