Iyoda. (2013). Formal Methods: Foundations and Applications (1.). Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)Iyoda. Formal Methods: Foundations and Applications. 1. Springer Berlin Heidelberg, 2013.
Citatione MLA (8a ed.)Iyoda. Formal Methods: Foundations and Applications. 1. Springer Berlin Heidelberg, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.