Premek Brada, Lukas Valenta. Practical Verification of Component Substitutability Using Subtype Relation. In 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia. pages 38-45, IEEE, 2006. [doi]
Abstract is missing.