Tran, Hoang-Viet, & Pham Ngoc Hung.
" On Locally Strongest Assumption Generation Method for Component-Based Software Verification." <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], 34.2 (2018): n. pag. Web. 20 Nov. 2024