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]
@inproceedings{BradaV06,
title = {Practical Verification of Component Substitutability Using Subtype Relation},
author = {Premek Brada and Lukas Valenta},
year = {2006},
doi = {10.1109/EUROMICRO.2006.50},
url = {http://dx.doi.org/10.1109/EUROMICRO.2006.50},
tags = {subtyping},
researchr = {https://researchr.org/publication/BradaV06},
cites = {0},
citedby = {0},
pages = {38-45},
booktitle = {32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia},
publisher = {IEEE},
}