Login / Signup
Conditional Lambda-Theories and the Verification of Static Properties of Programs
Mitchell Wand
Zheng-Yu Wang
Published in:
Inf. Comput. (1994)
Keyphrases
</>
symbolic execution
imperative programs
database systems
theoretical framework
computer programs