TRAN, Hoang-Viet; 						HUNG, Pham Ngoc.
 On Locally Strongest Assumption Generation Method for Component-Based Software Verification.
<strong>VNU Journal of Science: Computer Science and Communication Engineering</strong>, [S.l.], v. 34, n. 2, dec. 2018.
ISSN 2588-1086.
Available at: &lt;<a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/209" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/209</a>&gt;. Date accessed: 22 dec. 2024.
doi: <a href="https://doi.org/10.25073/2588-1086/vnucsce.209">https://doi.org/10.25073/2588-1086/vnucsce.209</a>.