‎Moonzoo Kim — Books & Biography | Menrva Books | MenrvaBooks

‎Moonzoo Kim

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

Stand Alone

Automated Technology for Verification and Analysis

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

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.