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

Sanchez-Ordaz, Miguel A.

  1. VeriFly: On-the-fly Assertion Checking via Incrementality
    2021/06/13 by Sanchez-Ordaz, Miguel A., Garcia-Contreras, Isabel, Perez-Carrasco, Victor +3 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)