Zhilin Wu is a professor at the Institute of Software, Chinese Academy of Sciences. Prof. Wu will give a speech on “Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs” on June 17, 2021.
Zhilin Wu is a professor at the Institute of Software, Chinese Academy of Sciences. Prof. Wu will give a speech on “Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs” on June 17, 2021.