Gaya APA
Lahiri, S, K., Wang, C. (2020).
Computer Aided Verification (1st ed. 2020).
:
Springer International Publishing.
Gaya MLA
Lahiri, Shuvendu, K.., Wang, Chao.
"Computer Aided Verification".
1st ed. 2020
:
Springer International Publishing,
2020.
Electronic Resource.