Keishi Okamoto, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.12<M159-B116>
Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B97>
[by] Yoshiki Kinoshita, Koki Nishizawa, Keishi OkamotoResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.10<M159-B58>