@techreport{weko_209545_1, author = "喜多村,卓 and 上原,哲太郎", title = "F*言語によるMQTTパケットパーサの開発と安全性評価", year = "2021", institution = "立命館大学大学院情報理工学研究科, 立命館大学情報理工学部", number = "8", month = "feb" }