Title: Formal methods for components and objects
Subjects: Formal methods (Computer science), Congresses, Object-oriented programming (Computer science), Logic design, Operating systems (Computers), Software engineering, Computer science