@inproceedings{weko_174391_1, author = "西岡,貴史 and 大森,洋一 and 荒木,啓二郎", title = "仕様記述の役割を意識したフォーマルメソッド学習", booktitle = "ソフトウェアエンジニアリングシンポジウム2016論文集", year = "2016", volume = "2016", number = "", pages = "266--267", month = "aug" }