Sciweavers

Adding Change Impact Analysis to the Formal Verification of C Programs
Recent Google, Yahoo, MSN search queries leading to this post
Adding Change Impact Analysis to the Formal Verification of C Programs