Formal and Model−Based Testing of Concurrent Workflows

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Wang, C, Cavarra, A, Davies, J
التنسيق: Conference item
منشور في: IEEE 2011