Liberating Verification from Boolean Shackles

Author(s):
Vikas Sachdeva, Varun Sharma, Saurav Choudhary
Location:
India
Year:
2025
Type:
Presentation
Format:
pdf