詳細情報
題名
A new verification framework of object-oriented design specification for small scale software
著者
Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno
文献
IEICE Transactions on Information and Systems, Vol.E80-D,
種別
論文
日付
1997年 1月
査読
登壇発表者
会議の日程
〜
会議の開催場所
登録日
備考
番号
229
DOI
ISBN
ISSN
学会名
ファイル
BibTeX
@article{sel229,
author = {Eun Mi Kim and Shinji Kusumoto and Tohru Kikuno},
title = {{A new verification framework of object-oriented design specification for small scale software}},
journal = {IEICE Transactions on Information and Systems, Vol.E80-D,},
year = 1997,
month = jan,
}