Tamai Tetsuo | Mitsubishi Research Institute Inc.

スポンサーリンク

概要

• TAMAI TETSUOの詳細を見る
• 同名の論文著者
• Mitsubishi Research Institute Inc.の論文著者

関連著者

• Tamai Tetsuo

  Mitsubishi Research Institute Inc.

• FUKUNAGA KOICHI

  Mitsubishi Research Institute, Inc.

• Fukunaga Koichi

  Mitsubishi Research Institute Inc.

• TAMAI TETSUO

  Mitsubishi Research Institute, Inc.

著作論文

• A Simplifier for Program Verification with Built-in Knowledge on Equality and Partial Ordering and its Use for Finding Loop Invariants
• A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference)

スポンサーリンク