@inproceedings{weko_156220_1, author = "佐藤,貞仁 and 宮崎,仁 and 横川,智教 and 佐藤,洋一郎 and 早瀬,道芳", title = "B_003 シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証(B分野:ソフトウェア)", booktitle = "情報科学技術フォーラム一般講演論文集", year = "2006", volume = "5", number = "1", pages = "73--74", month = "aug" }