Sungdeok Cha

Books by Sungdeok Cha

Total count: 3

• Automated Technology for Verification and Analysis6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

  Springer London, Limited2008-01-01
• 
  Handbook of Software Engineering

  Springer2019-02-13
• 
  Software Engineering

  Springer2020-10-10