vix.ing · top · new · best · stats · spec

Cho, Chanhee

  1. Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
    2023/03/09 by Lattuada, Andrea, Hance, Travis, Cho, Chanhee +6 · 25 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)