Style de citation APA (7e éd.)
Stefan Leue, P. M. Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Springer.
Style de citation Chicago (17e éd.)
Stefan Leue, Pedro Merino. Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Berlín, Alemania: Springer.
Style de citation MLA (9e éd.)
Stefan Leue, Pedro Merino. Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.