(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.
MLA CitationFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.