Citação norma APA

(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.

Citação norma Chicago

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.

Citação norma MLA

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.

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