Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.