Software Dataplane Verification.
| Autor: | Dobrescu, Mihai1 (AUTHOR), Argyraki, Katerina1 (AUTHOR) |
|---|---|
| Zdroj: | Communications of the ACM. Nov2015, Vol. 58 Issue 11, p113-121. 9p. 1 Diagram, 1 Chart, 1 Graph. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | Dobrescu, Mihai1 (AUTHOR), Argyraki, Katerina1 (AUTHOR) |
|---|---|
| Zdroj: | Communications of the ACM. Nov2015, Vol. 58 Issue 11, p113-121. 9p. 1 Diagram, 1 Chart, 1 Graph. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|