%0 Journal Article
%A Steffen, B.
%A Barry Jay, C.
%A Mendler, M.
%T Compositional characterization of observable program properties
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1992
%P 403-424
%V 26
%N 5
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1992__26_5_403_0/
%G en
%F ITA_1992__26_5_403_0