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