@article{SisLab2041,
          volume = {95-A},
          number = {9},
          author = {Ngoc Hung Pham and Viet Ha Nguyen and Aoki Toshiaki and Katayama Takuya},
           title = {On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification},
       publisher = {IEICE},
         journal = {IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer},
           pages = {1451--1460},
            year = {2012},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2041/}
}