@inproceedings{SisLab1985,
       booktitle = {The 2016 IEEE RIVF International Conference on Computing and Communication Technologies},
           month = {November},
           title = {A Strongest Assumption Generation Method for Component-Based Software Verification},
          author = {Hoang Viet Tran and Chi Luan Le and Ngoc Hung Pham},
            year = {2016},
           pages = {1--6},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1985/},
        abstract = {This paper presents a method for generating strongest assumptions during component-based software veri?cation. The key idea of this method is to improve the technique for answering membership queries of the Teacher when responding to the Learner in the}
}