Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

2 0 0 0 B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)

著者
原 光太朗 緒方 和博 中村 正樹 二木 厚吉
出版者
FIT(電子情報通信学会・情報処理学会)運営委員会
雑誌
情報科学技術フォーラム一般講演論文集
巻号頁・発行日
vol.3, no.1, pp.177-178, 2004-08-20

言及状況

Twitter (2 users, 2 posts, 2 favorites)

CafeOBJというのが比較的直感的に書けるものらしい。http://ci.nii.ac.jp/naid/110007683648
1 @ronbuntter
2 @AttractiveMusic @Satoyo314

収集済み URL リスト