(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
Citación estilo ChicagoFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Cita MLAFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.