『仕様記述言語Zと証明環境 Isabelle/HOL-Z』
#2007年
来間 啓伸
,
Burkhart Wolff
,
David Basin
,
中島 震
. 仕様記述言語Zと証明環境 Isabelle/HOL-Z
仕様記述言語 Z と証明環境 Isabelle/HOL-Z
J-Stage:
https://www.jstage.jst.go.jp/article/jssst/24/2/24_2_2_21/_article/-char/ja/
Isabelle/HOL-Z
Z記法
形式手法
ProofPower
リファインメント
#文献