APA ציטוט

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

Trích dẫn kiểu Chicago

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

ציטוט MLA

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