%0 Generic
%T On the verification of SCOOP programs
%A Caltais, Georgiana
%A Meyer, Bertrand
%I KOPS Universität Konstanz
%D 2017
%X In: Science of Computer Programming ; 133 (2017), 2. - S. 194-215. - ISSN 0167-6423. - eISSN 1872-7964
%C KOPS Universität Konstanz
%C Konstanz
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation