Search results for: Kyo Chul Kang
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Protocols Analysis, Case Studies, and Tools > 429-443
Lecture Notes in Computer Science > Reuse of Off-the-Shelf Components > Reengineering Maintanance > 156-169