Jong-Deok Choi, Bowen Alpern, et al.
IPDPS 2001
Jong-Deok Choi, Bowen Alpern, et al.
IPDPS 2001
Jong-Deok Choi, Manish Gupta, et al.
ACM TOPLAS
Jong-Deok Choi, Ron Cytron, et al.
IEEE Transactions on Software Engineering
Jong-Deok Choi, Janice M. Stone
WPADD 1991