Novel Paradigm in Formally Verifying Complex Algorithms

Author(s):
M Achutha KiranKumar V, Disha Puri, Mohit Choradia, Paras Gupta
Location:
United States
Year:
2021
Type:
Paper
Format:
pdf