Research output per year
Research output per year
Research output
- 1 Paper
Search results
-
2019
Decision procedures for path feasibility of string-manipulating programs with complex operations
Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, (E-pub ahead of print) p. 1-30. 30 p.Research output: Contribution to conference › Paper › peer-review
Open Access