Sho Takeuchi | Osaka University, Presently with Hitachi Government and Public Corporation System Engineering Corp

スポンサーリンク

概要

• 同名の論文著者
• Osaka University, Presently with Hitachi Government and Public Corporation System Engineering Corpの論文著者

関連著者

• Kiyoharu Hamaguchi

  Osaka University

• Sho Takeuchi

  Osaka University, Presently with Hitachi Government and Public Corporation System Engineering Corp

• Toshinobu Kashiwabara

  Osaka University

著作論文

• Checker Generation of Assertions with Local Variables for Model Checking

スポンサーリンク