Formal Methods for Industrial Critical Systems

MLA

Lang, Francesco Flammini, and édéric Lang. Formal Methods for Industrial Critical Systems. Springer International Publishing, 2014.

APA

Lang, L., Flammini, F., & Lang, é. (2014). Formal Methods for Industrial Critical Systems. Springer International Publishing.

Chicago

Lang, Francesco Flammini, and édéric Lang. Formal Methods for Industrial Critical Systems. : Springer International Publishing, 2014.