Rule-based static analysis of network protocol implementations
| Autor: | Udrea, Octavian, Lumezanu, Cristian, Foster, Jeffrey S. |
|---|---|
| Zdroj: | In Information and Computation 2008 206(2):130-157 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Udrea, Octavian, Lumezanu, Cristian, Foster, Jeffrey S. |
|---|---|
| Zdroj: | In Information and Computation 2008 206(2):130-157 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect