Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama. An effective framework for assume-guarantee verification of evolving component-based software. In Tom Mens, Kim Mens, Michel Wermelinger, editors, Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009. pages 109-118, ACM, 2009. [doi]
@inproceedings{HungAK09-1,
title = {An effective framework for assume-guarantee verification of evolving component-based software},
author = {Pham Ngoc Hung and Toshiaki Aoki and Takuya Katayama},
year = {2009},
doi = {10.1145/1595808.1595829},
url = {http://doi.acm.org/10.1145/1595808.1595829},
researchr = {https://researchr.org/publication/HungAK09-1},
cites = {0},
citedby = {0},
pages = {109-118},
booktitle = {Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009},
editor = {Tom Mens and Kim Mens and Michel Wermelinger},
publisher = {ACM},
isbn = {978-1-60558-678-6},
}