SMTを活用したJava プログラム解析器の設計
ソフトウェア工学の基礎XIX, pp.33-38 (2012)
@inproceedings{佐々木幸広2012b,
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
title = {SMTを活用したJava プログラム解析器の設計},
booktitle = {ソフトウェア工学の基礎XIX},
pages = {33--38},
year = {2012},
month = {dec}
}@inproceedings{佐々木幸広2012b,
author = {佐々木 幸広 and 岡野 浩三 and 楠本 真二},
title = {SMTを活用したJava プログラム解析器の設計},
booktitle = {ソフトウェア工学の基礎XIX},
pages = {33--38},
year = {2012},
month = {dec}
}