On the power and limitations of strictness analysis.
| Autor: | Sekar, R., Ramakrishnan, I.V. |
|---|---|
| Zdroj: | Journal of the ACM. May97, Vol. 44 Issue 3, p505. 21p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | Sekar, R., Ramakrishnan, I.V. |
|---|---|
| Zdroj: | Journal of the ACM. May97, Vol. 44 Issue 3, p505. 21p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|