Yunja Choi, Moonzoo Kim. Controlled composition and abstraction for bottom-up integration and verification of abstract components. Information \& Software Technology, 54(1):119-136, 2012. [doi]
@article{ChoiK12-3,
title = {Controlled composition and abstraction for bottom-up integration and verification of abstract components},
author = {Yunja Choi and Moonzoo Kim},
year = {2012},
doi = {10.1016/j.infsof.2011.08.001},
url = {http://dx.doi.org/10.1016/j.infsof.2011.08.001},
researchr = {https://researchr.org/publication/ChoiK12-3},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {54},
number = {1},
pages = {119-136},
}