(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
Stile di citazione ChicagoFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Citazione MLAFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.