@techreport{weko_157991_1, author = "清水,隆也 and 吉田,則裕 and 高田,広章", title = "組込みプログラムへのパターン違反検出技術の適用", year = "2016", institution = "名古屋大学, 名古屋大学, 名古屋大学", number = "9", month = "mar" }