Citazione Stile APA (7a Edizione)
Kousha Etessami, S. K. R. Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Kousha Etessami, Sriram K. Rajamani. Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Kousha Etessami, Sriram K. Rajamani. Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.