A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Lin, Philipp Ruemmer, Zhilin Wu

Research output: Contribution to conferencePaperpeer-review

45 Downloads (Pure)
Filter
Finished

Search results