Title: Formal Aspects of Component Software
Subjects: Computer science, Computer software