APA Style

CAV, . (2015). Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II . Cham: Springer.

MLA Style

CAV, . "Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II". Cham: Springer, 2015. Text.