Gaya APA
Shoham, S., Vizel, Y. (2022).
Computer Aided Verification (Electronic Resource).
:
Springer International Publishing.
Gaya MLA
Shoham, Sharon., Vizel, Yakir.
"Computer Aided Verification".
Electronic Resource
:
Springer International Publishing,
2022.
Electronic Resource.