Academic Journal
VDMTools for Object Oriented Specification Language VDM++
| العنوان: | VDMTools for Object Oriented Specification Language VDM++ / オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools |
|---|---|
| المؤلفون: | Keijiro ARAKI, Shin SAHARA, 佐原 伸, 荒木 啓二郎 |
| المصدر: | コンピュータ ソフトウェア / Computer Software. 2007, 24(2):2-14 |
| قاعدة البيانات: | J-STAGE |
Full Text Finder | تدمد: | 02896540 |
|---|---|
| DOI: | 10.11309/jssst.24.2_14 |