APA (7th ed.) Citation

Iyoda. (2013). Formal Methods: Foundations and Applications (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Iyoda. Formal Methods: Foundations and Applications. 1. Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Citation

Iyoda. Formal Methods: Foundations and Applications. 1. Springer Berlin Heidelberg, 2013.

Warning: These citations may not always be 100% accurate.