> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: On the verification of SCOOP programs Beteiligte: Caltais, Georgiana [VerfasserIn]; Meyer, Bertrand [VerfasserIn] Erschienen: Konstanz: KOPS Universität Konstanz, 2017 Umfang: 1 Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: In: Science of Computer Programming ; 133 (2017), 2. - S. 194-215. - ISSN 0167-6423. - eISSN 1872-7964 Zugangsstatus: Freier Zugang