%0 Conference Proceedings
%F Raclet2007b
%A Raclet, Jean-Baptiste
%T Residual for Component Specifications
%B Proceedings of the 4th International Workshop on Formal Aspects of Component Software
%C Sophia-Antipolis, France
%U http://dx.doi.org/10.1016/j.entcs.2008.06.023
%8 September
%D 2007
%K component