Formal Aspects of Component Software - 9783030021450
ISBN-13: 9783030021450, 978-3030021450. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. Formal Aspects of Component Software.