Hierons. (2013). Software Engineering and Formal Methods (1.). Springer Berlin Heidelberg.
Chicago Style (17. basım) AtıfHierons. Software Engineering and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) AtıfHierons. Software Engineering and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..