Login / Signup
A (De)constructive Approach to Program Checking.
Shafi Goldwasser
Dan Gutfreund
Alexander Healy
Tali Kaufman
Guy N. Rothblum
Published in:
Electron. Colloquium Comput. Complex. (2007)
Keyphrases
</>
data sets
computer programs
programming environment
program execution
real time
test cases
consistency checking