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