Sign In

Communications of the ACM


Refine your search:
datePast Year
subjectComputer Systems
authorBertrand Meyer

Soundness and Completeness: With Precision
From [email protected]

Soundness and Completeness: With Precision

The two key properties of program analysis are dual of each other.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account