Certifying software component attributes

Jørgen Bøegh. Certifying software component attributes. IEEE Software, 23(3):74-81, 2006. [doi]

Abstract

Abstract is missing.