Novel Paradigm in Formally Verifying Complex Algorithms

Author(s):
M Achutha KiranKumar V, Disha Puri, Mohit Choradia, Paras Gupta
Year:
2021