A decision procedure for an extensional theory of arrays.
| Autor: | Stump, A., Barrett, C.W., Dill, D.L., Levitt, J. |
|---|---|
| Zdroj: | Proceedings 16th Annual IEEE Symposium on Logic in Computer Science; 2001, p29-37, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|