@inproceedings{SisLab34,
       booktitle = {2012 IEEE RIVF International Conference on Computing and Communication Technologies},
           month = {March},
           title = {An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification},
          author = {Ngoc Hung Pham and Viet Ha Nguyen and Toshiaki Aoki and T. Katayama},
            year = {2012},
           pages = {1 --6},
        keywords = {assume-guarantee verification, complexity, component-based software verification, computational cost, consumption memory, depth-limited search strategy, minimized assumption generation, model checking, object-oriented programming, optimization, program verification, search tree, software evolution, software maintenance, state space explosion problem, subtree, system rechecking, tree searching},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/34/}
}