@techreport{weko_210108_1,
   author	 = "斎藤,文弥 and 高野,祐輝 and 宮地,充子",
   title	 = "Coqを用いたソフトウェアスイッチの設計と実装",
   year 	 = "2021",
   institution	 = "大阪大学, 大阪大学, 大阪大学／北陸先端科学技術大学院大学",
   number	 = "11",
   month	 = "mar"
}