Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) CitationPecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
Warning: These citations may not always be 100% accurate.