APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.