Dyfyniad APA

Liu, Z., & Ravn, A. P. (2009). Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Springer.

Dyfyniad Arddull Chicago

Liu, Zhiming, and Anders P. Ravn. Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer, 2009.

Dyfyniad MLA

Liu, Zhiming, and Anders P. Ravn. Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Springer, 2009.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.