Search Results - Cha, Sungdeok
-
1
Automated technology for verification and analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / Sungdeok (Steve) Cha [and others], eds.
Published 2008Other Authors: “…Cha, Sungdeok…”
Full Text (via Springer)
Electronic Conference Proceeding eBook
-
2
Handbook of software engineering / Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.
Published 2019Other Authors: “…Cha, Sungdeok…”
Full Text (via Springer)
eBook