コンピュータ ソフトウェア
Print ISSN : 0289-6540
仕様記述言語Zと証明環境Isabelle/HOL-Z
来間 啓伸Burkhart WOLFFDavid BASIN中島 震
著者情報
ジャーナル フリー

2007 年 24 巻 2 号 p. 2_21-2_26

詳細
記事の1ページ目
著者関連情報
© 日本ソフトウェア科学会 2007
前の記事 次の記事
feedback
Top