APA aipamena

Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.

Chicago Style aipamena

Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.

MLA aipamena

Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.