APA Style
Computer Aided Verification
.
(2020).
:
Lecture Notes in Computer Science.
MLA Style
Computer Aided Verification
.
.
:
Lecture Notes in Computer Science,
2020.
Text.