1 paper
Georgiana Caltais, Bertrand Meyer
In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP -- an elegant concurrency model, recently formalized based on Rewrit…