@article{SisLab3119,
           title = {On Locally Strongest Assumption Generation Method for Component-Based Software Verification},
          author = {Hoang Viet Tran and Ngoc Hung Pham},
       publisher = {VNU},
            year = {2018},
         journal = {VNU Journal of Science: Computer Science and Communication Engineering},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3119/}
}