Proof scores in the OTS/CafeOBJ method

• OGATA K.

収録刊行物

• FMOODS'03

  FMOODS'03 170-184, 2003

  Springer

詳細情報

• CRID: 1573105974824681216
• NII論文ID: 10029506962
• データソース種別:
  • CiNii Articles
  • KAKEN