User:Shunsuke Yatabe

From Mathfuzzlog
Jump to: navigation, search

Dr.(Sci.), Research Staff, Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST).

Address: 5th floor, Mitsui Sumitomo Kaijo Senri Bldg, 1-2-14 Shin-Senri Nishi, Toyonaka, Osaka, 560-0083 Japan Tel:+81-6-4863-5031 Fax:+81-6-4863-5052