Data Flow Analysis and Testing of Abstract State Machines

Bibliografske podrobnosti
Glavni avtor: Cavarra, A
Format: Conference item
Izdano: Springer 2008