Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.
Chicago Style aipamenaPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
MLA aipamenaPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.