Search results for: Thi Thieu Hoa Le
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Interpolations and SAT-Solvers > 143-157
Science of Computer Programming > 2016 > 115-116 > C > 225-246
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 3 > 211-228