Title: Formal methods for components and objects
Subjects: Formal methods (Computer science), Congresses, Object-oriented programming (Computer science)