Gouni, Hemant
- Gradual C0: Symbolic Execution for Gradual Verification
2022/10/05 by Jenna DiVincenzo, DiVincenzo, Jenna, Ian McCormack +16 · 2 citations
Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing