Analyzing Invariant Condition of Running Java Program.

Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa

Browse the full SEKE paper archive.