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