(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Čikaški stil citiranjaRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
MLA način citiranjaRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.