Franklin

MLA

Kowalewski, S, and Marco Roveri. Formal Methods for Industrial Critical Systems: 15th International Workshop, Fmics 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings. Berlin: Springer, 2010.

APA

Kowalewski, S., & Roveri, M. (2010). Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings. Berlin: Springer.

Chicago

Kowalewski, S., and Marco Roveri. Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings. Berlin: Springer, 2010.