@inproceedings{weko_77564_1, author = "藤原,由希子 and 五藤,智久 and 谷,幹也", title = "コルモゴロフ複雑性の新規概算法に基づく仕様間の整合性判定", booktitle = "ソフトウェアエンジニアリングシンポジウム2011論文集", year = "2011", volume = "2011", number = "", pages = "1--6", month = "sep" }