TY - GEN
AU - Caltais, Georgiana
AU - Meyer, Bertrand
TI - On the verification of SCOOP programs
PB - KOPS Universität Konstanz
PY - 2017
N2 - In: Science of Computer Programming ; 133 (2017), 2. - S. 194-215. - ISSN 0167-6423. - eISSN 1872-7964
CY - Konstanz
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation