%0 Conference Proceedings
%F Benveniste2007d
%A Benveniste, A.
%A Caillaud, B.
%A Ferrari, A.o
%A Mangeruca, L.
%A Passerone, R.
%A Sofronis, C.
%T Multiple Viewpoint Contract-Based Specification and Design
%B Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07)
%V 5382
%S Revised Lectures, Lecture Notes in Computer Science
%I Springer
%C Amsterdam, The Netherlands
%U http://www.irisa.fr/s4/download/papers/bcfmps-fmco07.pdf
%U http://dx.doi.org/10.1007/978-3-540-92188-2_9
%8 October
%D 2007
%K component