APA Citation

Veanes, M., & Viganò€, L. (2013). Tests and proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin ; New York: Springer.

Chicago Style Citation

Veanes, Margus., and Luca Viganò€. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin ; New York: Springer, 2013.

MLA Citation

Veanes, Margus., and Luca Viganò€. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin ; New York: Springer, 2013.

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