Resolving the conflict between generality and plausibility in verified computation.
Year: 2012
Type: article
Authors: Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Institutions: The University of Texas at Austin, Microsoft (United States)
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3029660052