Login / Signup
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.
Dipankar Sarkar
S. C. De Sarkar
Published in:
IEEE Trans. Software Eng. (1989)
Keyphrases
</>
databases
inference rules