About this scholarly article

Proceedings 17th IEEE International Conference on Automated Software Engineering, - Automated validation of class invariants in C++ applications by Gibbs, T.H.; Malloy, B.A.; Power, J.F. is a scholarly article available to read on EtoBox.

Author

Gibbs, T.H.; Malloy, B.A.; Power, J.F.

Publisher

IEEE Comput. Soc

Published

2002

Language

EN