Data Flow Analysis and Testing of Abstract State Machines
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2008
|
| Summary: |
|---|
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2008
|
| Summary: |
|---|