FM 2015: FORMAL METHODS 2015
Fuyuki Ishikawa
Organization: National Institute of Informatics
Web site: http://research.nii.ac.jp/~f-ishikawa/en/
Pages in this Program
Program
Program for Thursday, June 25th