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 .
Heidelberg, Jerman:
Springer International Publishing.
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".
Heidelberg, Jerman:
Springer International Publishing,
2019.
Text.