DMCA

A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages

by Emina Torlak , Rastislav Bodik
Citations:6 - 2 self