Steffen, B.B.SteffenBarry Jay, C.C.Barry JayMendler, MichaelMichaelMendler2019-09-192018-08-132018https://fis.uni-bamberg.de/handle/uniba/44286deuCompositional Characterization of Observable Program Propertiesarticleurn:nbn:de:bvb:473-opus4-526643