APA-Zitierstil (7. Ausg.)

FMICS Florenz, Lang, F., & Flammini, F. (2016). Formal methods for industrial critical systems (FMICS'2014). Elsevier.

Chicago-Zitierstil (17. Ausg.)

FMICS Florenz, Frédéric Lang, und Francesco Flammini. Formal Methods for Industrial Critical Systems (FMICS'2014). Amsterdam: Elsevier, 2016.

MLA-Zitierstil (9. Ausg.)

FMICS Florenz, et al. Formal Methods for Industrial Critical Systems (FMICS'2014). Elsevier, 2016.