A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Tamai Tetsuo

  Mitsubishi Research Institute Inc.

• FUKUNAGA KOICHI

  Mitsubishi Research Institute, Inc.

• Fukunaga Koichi

  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)

スポンサーリンク