Gwen Salaün, Anton Wijs Formal Aspects of Component Software - Springer Springer 2021 ISBN: 9783030906368 Source: EBOOK