@article{SisLab2039,
          volume = {E93-D},
          number = {8},
           month = {August},
          author = {Ngoc Hung Pham and Viet Ha Nguyen and Aoki Toshiaki and Katayama Takuya},
           title = {A Minimized Assumption Generation Method for Component-Based Software Verification},
       publisher = {IEICE},
            year = {2010},
         journal = {IEICE Transactions on Information and Systems},
           pages = {2172--2181},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/}
}