Presenter Full Program · Presenters · Organizations · Search ProgramHitoshi MuraiRIKEN, AICSPresentationsProject Poster(PP18) MYX - MUST Correctness Checking for YML and XMP ProgramsProgramming Models & Languages