@article{Caltais-Meyer17a, author = {Georgiana Caltais and Bertrand Meyer}, title = {On the verification of {SCOOP} programs}, journal = {Science of Computer Programming}, volume = {133}, pages = {194--215}, year = {2017}, }