Stoelinga, M., & Pinger, R. (2012). Formal Methods for Industrial Critical Systems.
Παραπομπή σε μορφή Chicago (17η εκδ.)Stoelinga, Mariëlle, και Ralf Pinger. Formal Methods for Industrial Critical Systems. 2012.
Παραπομπή σε μορφή MLA (9th εκδ.)Stoelinga, Mariëlle, και Ralf Pinger. Formal Methods for Industrial Critical Systems. 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.