@inproceedings{weko_176694_1, author = "馬場,勇輔 and 荒木,啓二郎 and 日下部,茂 and 大森,洋一", title = "形式仕様記述を用いた系統的なプロパティベーステストの活用", booktitle = "ウィンターワークショップ2017・イン・飛騨高山 論文集", year = "2017", volume = "2017", number = "", pages = "51--52", month = "jan" }