APA Style
DILLIG, I., TASIRAN, S. (2019).
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (1).
Cham:
Springer Cham.
MLA Style
DILLIG, Isil., TASIRAN, Serdar.
"Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I".
1
Cham:
Springer Cham,
2019.
Text.