@inproceedings{weko_220604_1,
   author	 = "三原,眞子 and 川端,英之 and 弘中,哲夫",
   title	 = "ダイクストラの方法に基づく簡単な整数演算プログラムの半自動生成ツールの実装について",
   booktitle	 = "第84回全国大会講演論文集",
   year 	 = "2022",
   volume	 = "2022",
   number	 = "1",
   pages	 = "275--276",
   month	 = "feb"
}