@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00214722,
 author = {小嶋, 美咲 and 西田, 直樹 and 酒井, 正彦},
 book = {第83回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 note = {計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，バイナリセマフォを含む命令型プログラムを対象とし，LCTRSへの変換手法を提案した．本論文では，先行研究で提案した変換手法を拡張し，計数セマフォを含むプログラムの変換を試みる．},
 pages = {229--230},
 publisher = {情報処理学会},
 title = {計数セマフォを含むプログラムから論理制約付き項書換え系への変換},
 volume = {2021},
 year = {2021}
}