Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Dharanikota-2021-Celestial A Smart Contracts Verification Framework-vor.pdf.jpgDharanikota, Samvid ; Mukherjee, Suvam ; Bhardwaj, Chandrika ; Rastogi, Aseem ; Lal, Akash Celestial: A Smart Contracts Verification FrameworkInproceedings Oct-2021