Paper & artifact accepted at iFM 2024

2024-08-20

The paper VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at iFM 2024. The accompaniying artifact (available here) has also been accepted with available & reusable badges.