Furusawa, Hitoshi について
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST) について
Choi, Eun-Hye について
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST) について
Watanabe, Hiroshi について
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST) について
Proceedings - International Conference on Software Engineering について
DESIGN について