Media type: E-Article Title: Formal Aspects of Component Software: From Formal Methods to Software Components: Back to the Future? Contributor: Lau, Kung-Kiu Published: Springer International Publishing, 2017 Published in: Formal Aspects of Component Software (2017), Seite 10-14 Language: Not determined DOI: 10.1007/978-3-319-57666-4_2 ISBN: 9783319576664; 9783319576657 ISSN: 0302-9743; 1611-3349 Origination: Footnote: