Analyzing Invariant Condition of Running Java Program

Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa. Analyzing Invariant Condition of Running Java Program. In Frank Maurer, Günther Ruhe, editors, Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004. pages 350-353, 2004.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.