%0 Book
%A  Marco Bernardo, Paola Inverardi (eds.).
%T Formal methods for software architectures :
%U /book/90083792/Formal-methods-for-software-architectures/