@inproceedings{9e23ffd38aa04cd7aa04a45b4064ec79,
title = "From Formal Methods to Software Components: Back to the Future?",
abstract = "Looking back at the past, I believe Formal Methods and Component-based Software Engineering have missed opportunities to synergise. Looking forward to the future, I believe even more strongly that this synergy will be crucial for developing Software Engineering techniques that tackle scale and complexity. In this position paper I outline the fundamentals of my belief, in terms of existing work and future challenges.",
author = "Kung-Kiu Lau",
year = "2017",
doi = "10.1007/978-3-319-57666-4_2",
language = "English",
isbn = "9783319576657",
series = "Lecture notes in computer science",
publisher = "Springer Nature",
pages = "10--14",
editor = "Olga Kouchnarenko and Ramtin Khosravi",
booktitle = "Formal aspects of component software : 13th International Conference, FACS 2016, Besan{\c c}on, France, October 19-21, 2016, revised selected papers",
address = "United States",
note = "13th International Conference on Formal Aspects of Component Software, FACS'2016 ; Conference date: 19-10-2016 Through 21-10-2016",
}