Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 佐原 伸 (著者)
  3. 1件

2 0 0 0 OA オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools

著者
佐原 伸 荒木 啓二郎
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.24, no.2, pp.2_14-2_20, 2007 (Released:2007-06-30)
被引用文献数
1