(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Chicago Style CitationRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Cita MLARigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Atenció: Aquestes cites poden no estar 100% correctes.