Giachino. (2013). Formal Methods for Components and Objects (1.). Springer Berlin Heidelberg.
Chicago Style aipamenaGiachino. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
MLA aipamenaGiachino. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.