APA Style

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

MLA Style

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