CAV New York, NY, & Dillig, I. (2019). Computer aided verification: 31th international conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings. Springer Open.
Chicago Style (17th ed.) CitationCAV New York, NY, and Isil Dillig. Computer Aided Verification: 31th International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : Proceedings. Cham: Springer Open, 2019.
MLA (9th ed.) CitationCAV New York, NY, and Isil Dillig. Computer Aided Verification: 31th International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : Proceedings. Springer Open, 2019.
Warning: These citations may not always be 100% accurate.