Gaya APA

Bernardo, M. et al (2013). Formal Methods for Dynamical Systems . Springer Berlin Heidelberg: Springer.

Gaya MLA

Bernardo, Marco. et al. "Formal Methods for Dynamical Systems". Springer Berlin Heidelberg: Springer, 2013. E-Book.