APA (7th ed.) Citation

(2012). Formal methods for industrial critical systems: 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; Proceedings. Berlin [u.a.]: Springer, 2012.

MLA (9th ed.) Citation

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; Proceedings. Springer, 2012.