Title: Formal methods for components and objects
Subjects: Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Informatique, Approche orientee objet (Informatique), Composants logiciels, Methodes formelles (Informatique), Congres, Computer software