(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Deismireacht MLAFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.