APA (7th ed.) Citation

(2013). Formal methods for industrial critical systems: 18th international workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; Proceedings. Berlin [u.a.]: Springer, 2013.

MLA (9th ed.) Citation

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23 - 24, 2013 ; Proceedings. Springer, 2013.