Data Flow Analysis and Testing of Abstract State Machines

Bibliographische Detailangaben
1. Verfasser: Cavarra, A
Format: Conference item
Veröffentlicht: Springer 2008