APA Style

Computer Aided Verification. (2024). : .

MLA Style

Computer Aided Verification. . : , 2024. Text.