(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
MLA citiranjeRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Opozorilo: Ti citati niso vedno 100% točni.