<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Strongest Assumption Generation Method for Component-Based Software Verification"^^ . "This paper presents a method for generating strongest assumptions during component-based software verification. 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"^^ . "2016-11" . . . . . . . . . . . . . . "Ngoc Hung"^^ . "Pham"^^ . "Ngoc Hung Pham"^^ . . "Hoang Viet"^^ . "Tran"^^ . "Hoang Viet Tran"^^ . . "Chi Luan"^^ . "Le"^^ . "Chi Luan Le"^^ . . . . "The 2016 IEEE RIVF International Conference on Computing and Communication Technologies"^^ . . . . . "Hanoi, Vietnam"^^ . . . . . . "A Strongest Assumption Generation Method for Component-Based Software Verification (PDF)"^^ . . . "paper 43.pdf"^^ . . "HTML Summary of #1985 \n\nA Strongest Assumption Generation Method for Component-Based Software Verification\n\n" . "text/html" . . . "Information Technology (IT)"@en . .