Gaya APA
Chockler, H., Weissenbacher, G. (2018).
Computer Aided Verification (1st ed. 2018).
:
Springer International Publishing.
Gaya MLA
Chockler, Hana., Weissenbacher, Georg.
"Computer Aided Verification".
1st ed. 2018
:
Springer International Publishing,
2018.
Electronic Resource.