Tevfik Bultan, P. H. Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Chicago Style (17th ed.) Zitazioa
Tevfik Bultan, Pao-Ann Hsiung. Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings. Berlín, Alemania: Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
MLA (9th ed.) Zitazioa
Tevfik Bultan, Pao-Ann Hsiung. Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings. Springer.
Ondo kopiatu da
Kopiatzeak huts egin du
Kontuz: berrikusi erreferentzia hauek erabili aurretik.