DMCA

Resolving the conflict between generality and plausibility in verified computation

by Srinath Setty , Benjamin Braun , Victor Vu , Andrew J. Blumberg , Bryan Parno , Michael Walfish
Citations:25 - 5 self