Gaya APA
Dillig, I., Tasiran, S. (2019).
Computer Aided Verification (1st ed. 2019).
:
Springer International Publishing.
Gaya MLA
Dillig, Isil., Tasiran, Serdar.
"Computer Aided Verification".
1st ed. 2019
:
Springer International Publishing,
2019.
Electronic Resource.