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

Phuc C. Nguyen

  1. Higher-order symbolic execution for contract verification and refutation
    2015/07/17 by Phuc C. Nguyen, Sam Tobin-Hochstadt, Nguyen, Phuc C. +3 · 2 voices
    #cs.PL