CITATION STYLE
Gupta, A., & Malik, S. (2008). Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5123 LNCS). https://doi.org/10.1007/978-3-540-70545-1
Mendeley helps you to discover research relevant for your work.