(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
Styl ChicagoFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Citace podle MLAFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..