Formal Aspects of Component Softwarede José Luiz Fiadeiro, Zhiming Liu, Jinyun XueMateriasComputer scienceSoftware engineeringFormal methods (Computer science)CongressesComponent softwareLogic designInformation SystemsMathematical Logic and Formal Languages