(2013). Integrated formal methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Tohutoru Kātū Chicago (17th ed.)Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.). 2013.
Tohutoro MLA (9th ed.)Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.). 2013.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.