author = { Caltais, Georgiana AND Meyer, Bertrand },

title = { On the verification of SCOOP programs },

publisher = {KOPS Universität Konstanz},

year = {2017},

abstract = {In: Science of Computer Programming ; 133 (2017), 2. - S. 194-215. - ISSN 0167-6423. - eISSN 1872-7964},

address = { Konstanz },

url = { http://slubdd.de/katalog?TN_libero_mab2 }