Стиль цитування APA (7-ме видання)
Stefan Kowalewski, M. R. Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Stefan Kowalewski, Marco Roveri. Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Stefan Kowalewski, Marco Roveri. Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.