Cook, B., Jackson, P., & Touili, T. (2010). Computer Aided Verification: [E-Book] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Chicago Style CitationCook, Byron, Paul Jackson, andfavorite Tayssir Touili. Computer Aided Verification: [E-Book] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / Edited By Tayssir Touili, Byron Cook, Paul Jackson. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.
MLA CitationCook, Byron, Paul Jackson, andfavorite Tayssir Touili. Computer Aided Verification: [E-Book] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / Edited By Tayssir Touili, Byron Cook, Paul Jackson. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010.