Email Address * *
Name
Subject *
Message * Static analysis of class invariants in Java programs. - 1243548703 - 9781243548702