Gaya APA
Chockler, H.
(2018).
Computer aided verification
.
Swizerland:
Springer Open.
Gaya MLA
Chockler, Hana.
"Computer aided verification".
Swizerland:
Springer Open,
2018.
Electronic Resource.