Theodorus Eric Setiadi

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa
Identifying candidate invariant conditions of running program. IASTED Conf. on Software Engineering and Applications (2004)
Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa
Analyzing Invariant Condition of Running Java Program. SEKE (2004)