NGUYEN Viet | the VNU University of Engineering and Technology

スポンサーリンク

概要

• NGUYEN Viet Haの詳細を見る
• 同名の論文著者
• the VNU University of Engineering and Technologyの論文著者

関連著者

• Aoki Toshiaki

  Japan Advanced Institute of Science and Technology

• Katayama Takuya

  Japan Advanced Institute Of Science And Technology

• PHAM Ngoc

  the VNU University of Engineering and Technology

• NGUYEN Viet

  the VNU University of Engineering and Technology

著作論文

• On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification

スポンサーリンク