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