A Survey on String Constraint Solving.
| Autor: | AMADINI, ROBERTO1 roberto.amadini@unibo.it |
|---|---|
| Zdroj: | ACM Computing Surveys. Jan2023, Vol. 55 Issue 1, p1-38. 38p. 1 Illustration. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | AMADINI, ROBERTO1 roberto.amadini@unibo.it |
|---|---|
| Zdroj: | ACM Computing Surveys. Jan2023, Vol. 55 Issue 1, p1-38. 38p. 1 Illustration. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|