Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference26 articles.
1. Aho AV, Sethi R, Ullman JD (1986) Compilers: principles, techniques, and tools, Addison-Wesley series in computer science/World student series edition. Addison-Wesley, ISBN 0-201-10088-6, pp I-X, 1-796
2. Ammann P, Offutt J (2016) Introduction to software testing, 2nd edn. Cambridge University Press
3. Baldoni R, Coppa E, D’Elia DC, Demetrescu C, Finocchi I (2018) A survey 315 of symbolic execution techniques. ACM Comput Surv 51(3):1–39. https://doi.org/10.1145/3182657
4. Chatterjee K, Goharshady AK, Goharshady EK (2019) The treewidth of smart contracts. In: Proceedings of the 34th ACM/SIGAPP symposium on applied computing, SAC 2019, pp 400–408
5. Chvalina J, Chvalinova L (1996) State hypergroups of automaton. Acta Mathematica et Informatica Universitatis Ostraviensis 4:105–119
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献