Citazione Stile APA (7a Edizione)
Margus Veanes, L. V. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Margus Veanes, Luca Viganò. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Margus Veanes, Luca Viganò. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.