A Perspective on Component Refinement

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/11561163_2 ◽

2005 ◽

pp. 23-48

Author(s):

Luís S. Barbosa

Download Full-text