Title: Formal methods for components and objects
Subjects: Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Software engineering, Computer science, Operating systems (Computers), Logic design, Programming Languages, Compilers, Interpreters, Operating Systems, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Programming Techniques