FFormal Aspects of Component SoftwareFormal Aspects of Component Softwarede Diego Marmsoler, Meng SunEdiciones (1)Formal Aspects of Component Software (2024)Springer · inglés · ISBN 9783031712609