André Postma. A method for module architecture verification and its application on a large component-based system. Information \& Software Technology, 45(4):171-194, 2003.
@article{Postma03,
title = {A method for module architecture verification and its application on a large component-based system},
author = {André Postma},
year = {2003},
tags = {rule-based, architecture},
researchr = {https://researchr.org/publication/Postma03},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {45},
number = {4},
pages = {171-194},
}