文献一覧: 原光太朗 (著者) - Ceek.jp Altmetrics

3 0 0 0 OA STSプロトコルの形式化と検証によるCafeOBJとCoqの比較

著者: 原光太朗
巻号頁・発行日: 2005-03

Supervisor:片山卓也

http://hdl.handle.net/10119/1910

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

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

2011-05-19 22:15:10
2 + 2 Twitter

https://ci.nii.ac.jp/naid/110007683648