Bi-inductive structural semantics
| Autor: | Cousot, Patrick a, b, ⁎, Cousot, Radhia c |
|---|---|
| Zdroj: | In Information and Computation 2009 207(2):258-283 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Cousot, Patrick a, b, ⁎, Cousot, Radhia c |
|---|---|
| Zdroj: | In Information and Computation 2009 207(2):258-283 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect