Cuellar, J., & Maibaum, T. (2020). FM 2008: Formal Methods. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoCuellar, Jorge, và Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
Deismireacht MLACuellar, Jorge, và Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.