vix.ing
·
top
·
new
·
best
·
stats
·
spec
Sam Tobin-Hochstadt
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