ISSN 2307-6410

deductive verification