Title: Formal Aspects of Component Software
Subjects: Computer science, Software engineering, Formal methods (Computer science), Congresses, Component software, Logic design, Information Systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Management of Computing and Information Systems