| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Taschenbuch | 978-3-540-88386-9 | 2008 | |
| Handbook of Software Engineering | Gebunden | 978-3-030-00261-9 | 2019 | Richard N. Taylor · Kyochul Kang |
| Software Engineering | Hardcover | 978-94-007-6039-4 | 2020 | Kyo-Chul Kang |
| Software Engineering | Digital | 978-94-007-6040-0 | 2020 | " |
| Software Engineering | Paperback | 978-94-007-6041-7 | 2020 | " |
S.C. · Sangdun Choi · Seongtaek Chee · Seungdeog Choi · Sungdai Cho · Sungdeok Steve Cha