Farhad Arbab, Sung-Shik Jongmans. <br/><br/>
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030409142 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering. Computers. Mathematical logic. Software Engineering. Theory of Computation. Mathematical Logic and Foundations. Information Systems and Communication Service.