[by] Hideaki Nishihara [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.8<M159-B74>
Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2011.8<M159-B129>