Groves. (2013). Formal Methods and Software Engineering (1.). Springer Berlin Heidelberg.
Chicago Style aipamenaGroves. Formal Methods and Software Engineering. 1. Springer Berlin Heidelberg, 2013.
MLA aipamenaGroves. Formal Methods and Software Engineering. 1. Springer Berlin Heidelberg, 2013.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.