UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNews and vacanciesPaper accepted: VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs

Paper accepted: VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs by Petra van den Bos and Sung-Shik Jongmans