@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00152854,
 author = {Wasaki, Katsumi and Yamaguchi, Shin'nosuke and Bancerek, Grzegorz},
 book = {情報科学技術フォーラム一般講演論文集},
 issue = {1},
 month = {Sep},
 pages = {59--60},
 publisher = {情報処理学会},
 title = {A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker},
 volume = {2002},
 year = {2002}
}