Media type: E-Book Title: On the verification of SCOOP programs Contributor: Caltais, Georgiana [VerfasserIn]; Meyer, Bertrand [VerfasserIn] imprint: Konstanz: KOPS Universität Konstanz, 2017 Extent: 1 Online-Ressource Language: English Identifier: Origination: Footnote: In: Science of Computer Programming ; 133 (2017), 2. - S. 194-215. - ISSN 0167-6423. - eISSN 1872-7964 Access State: Open Access