Hierons. (2013). Software Engineering and Formal Methods (1.). Springer Berlin Heidelberg.
Cytowanie według stylu Chicago (wyd. 17)Hierons. Software Engineering and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Cytowanie według stylu MLA (wyd. 8)Hierons. Software Engineering and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..