<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification"^^ . "2012" . "95-A" . "9" . . "IEICE"^^ . . . "IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer"^^ . . . "09168508" . . . . . . . . . . . . . . . . "Katayama"^^ . "Takuya"^^ . "Katayama Takuya"^^ . . "Ngoc Hung"^^ . "Pham"^^ . "Ngoc Hung Pham"^^ . . "Aoki"^^ . "Toshiaki"^^ . "Aoki Toshiaki"^^ . . "Viet Ha"^^ . "Nguyen"^^ . "Viet Ha Nguyen"^^ . . . . . "HTML Summary of #2041 \n\nOn Optimization of Minimized Assumption Generation Method for Component-Based Software Verification\n\n" . "text/html" . . . "Information Technology (IT)"@en . . . "ISI-indexed journals"@en . .