Organization Full Program · Presenters · Organizations · Search ProgramMDLS / University of LillePresentersSerge PetitonPresentationsProject Poster(PP18) MYX - MUST Correctness Checking for YML and XMP ProgramsProgramming Models & Languages