News

Journal-first talk at CAiSE’24

Our paper Model consistency as a heuristic for eventual correctness co-authored with Hans Vangheluwe and Eugene Syriani will be presented as a journal-first talk at this year’s CAiSE. (Pre-print available …