Data Flow Analysis and Testing of Abstract State Machines

מידע ביבליוגרפי
מחבר ראשי: Cavarra, A
פורמט: Conference item
יצא לאור: Springer 2008