Hiroaki Shimizu | Presently with IIM Corp.

スポンサーリンク

概要

• 同名の論文著者
• Presently with IIM Corp.の論文著者

関連著者

• Kiyoharu Hamaguchi

  Osaka University

• Toshinobu Kashiwabara

  Osaka University

• Hiroaki Shimizu

  Presently with IIM Corp.

著作論文

• Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

スポンサーリンク