DMCA

Higher-Order Symbolic Execution via Contracts

by Sam Tobin-hochstadt , David Van Horn
Citations:10 - 4 self