APA Style

Computer Aided Verificatio. (24 July 2024). : .

MLA Style

Computer Aided Verificatio. . : , 24 July 2024. Text.