UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsPaper 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