Data Flow Analysis and Testing of Abstract State Machines

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Cavarra, A
التنسيق: Conference item
منشور في: Springer 2008