Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.