(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 CitationRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.