VDMTools for Object Oriented Specification Language VDM++

Shin Sahara, Keijiro Araki

研究成果: ジャーナルへの寄稿記事

元の言語英語
ページ(範囲)14-20
ページ数7
ジャーナルComputer Software
24
発行部数2
DOI
出版物ステータス出版済み - 1 1 2007

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Software

これを引用