(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.
Deismireacht MLARigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.