FMICS Florenz, Lang, F., & Flammini, F. (2016). Formal methods for industrial critical systems (FMICS'2014). Elsevier.
Chicago Style (17th ed.) CitationFMICS Florenz, Frédéric Lang, and Francesco Flammini. Formal Methods for Industrial Critical Systems (FMICS'2014). Amsterdam: Elsevier, 2016.
MLA (9th ed.) CitationFMICS Florenz, et al. Formal Methods for Industrial Critical Systems (FMICS'2014). Elsevier, 2016.
Warning: These citations may not always be 100% accurate.