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
A. Mota M.V.M. Oliviera P. Antonino R. Ramos A.Sampaio and A.W. Roscoe