Gaya APA
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 .
:
Springer Nature.
Gaya MLA
Dillig, Isil., Tasiran, Serdar.
"Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I".
:
Springer Nature,
2019.
Prodi S1 Teknik Informatika.