Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.
Chicago Style (17. basım) AtıfPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) AtıfPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..