Leveraging ESL Approach to Formally Verify Algorithmic Implementations

Author(s):
M, Achutha KiranKumar V, Bindumadhava S S, Aarti Gupta, Disha Puri
Location:
India
Year:
2015
Type:
Presentation
Format:
pptx