Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Forejt, V, Kroening, D, Narayanswamy, G, Sharma, S
التنسيق:	Conference item
منشور في:	Springer International Publishing 2014

مواد مشابهة