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