APA Style
DILLIG, I., TASIRAN, S. (005.14).
Computer Aided Verification; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II .
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 II".
Heidelberg, Jerman:
Springer International Publishing,
005.14.
Text.