APA Style

Martí-Oliet, N., Braga, C. (2015). Formal Methods: Foundations and Applications . Cham: Springer.

MLA Style

Martí-Oliet, Narciso., Braga, Christiano. "Formal Methods: Foundations and Applications". Cham: Springer, 2015. Text.