2018年10月26日 アシュアランスケースの主張の変換を含めた議論パターンの提案 (信頼性) 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 越山 勉, 高井 利憲, 松野 裕, 高橋 聖 記述言語 日本語 会議種別 リンク情報 URLhttp://ci.nii.ac.jp/naid/40021713339