Sungdeok Cha profile picture

Sungdeok Cha

Is this your author profile? Create an account to customize it!

Stand Alone

Software Engineering
Automated Technology for Verification and Analysis
Handbook of Software Engineering
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Handbook of Software Engineering