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.
@inproceedings{SetiadiNKM04,
title = {Analyzing Invariant Condition of Running Java Program},
author = {Theodorus Eric Setiadi and Ken Nakayama and Yoshitake Kobayashi and Mamoru Maekawa},
year = {2004},
tags = {Java},
researchr = {https://researchr.org/publication/SetiadiNKM04},
cites = {0},
citedby = {0},
pages = {350-353},
booktitle = {Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004},
editor = {Frank Maurer and Günther Ruhe},
isbn = {1-891706-14-4},
}