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 …
New journal article on how model consistency can serve as a heuristic for eventual correctness
Our article Model consistency as a heuristic for eventual correctness, co-authored by Hans Vangheluwe and Eugene Syriani has been accepted for publication in the Journal of Computer Languages (COLA). Pre-print …