Skip to main content

Rigorous development of component−based systems using component metadata and patterns

A. Mota M.V.M. Oliviera P. Antonino R. Ramos A.Sampaio and A.W. Roscoe

Journal
Formal Aspects of Computing
Year
2016