Pecheur. (2013). Formal Methods for Industrial Critical Systems (1.). Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
Citatione MLA (8a ed.)Pecheur. Formal Methods for Industrial Critical Systems. 1. Springer Berlin Heidelberg, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.