APA aipamena

Groves. (2013). Formal Methods and Software Engineering (1.). Springer Berlin Heidelberg.

Chicago Style aipamena

Groves. Formal Methods and Software Engineering. 1. Springer Berlin Heidelberg, 2013.

MLA aipamena

Groves. Formal Methods and Software Engineering. 1. Springer Berlin Heidelberg, 2013.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.