Verification of Concurrent and Higher-Order Recursive Programs

Research output

Research output per year 2013 2013 2014 2016 2017 2018 2019 2019

• 14 Conference contribution
• 3 Article
• 1 Paper

Research output per year

Research output per year

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