Publisher
Springer International Publishing
Reference82 articles.
1. OWASP top ten web application security risks. https://owasp.org/www-project-top-ten/. Accessed 15 Mar 2022
2. SMT-LIB standard for unicode strings. https://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml. Accessed 15 Mar 2022
3. Lecture Notes in Computer Science;PA Abdulla,2015
4. Abdulla, P.A., et al.: Efficient handling of string-number conversion. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 943–957 (2020)
5. Lecture Notes in Computer Science;PA Abdulla,2014