A symbolic algorithm for the case-split rule in solving word constraints with extensions
| Autor: | Chen, Yu-Fang, Havlena, Vojtěch, Lengál, Ondřej, Turrini, Andrea |
|---|---|
| Zdroj: | In The Journal of Systems & Software July 2023 201 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect