受强制性开放获取政策约束的文章 - Quang Loc Le了解详情
可在其他位置公开访问的文章：3 篇
Finding real bugs in big programs with incorrectness logic
QL Le, A Raad, J Villard, J Berdine, D Dreyer, PW O'Hearn
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission …
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
Automated Technology for Verification and Analysis: 17th International …, 2019
强制性开放获取政策： US National Aeronautics and Space Administration
Compositional satisfiability solving in separation logic
QL Le
Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定