BibTeX record conf/iwpse/HungAK09

• > Home > conf/iwpse/HungAK09

@inproceedings{DBLP:conf/iwpse/HungAK09,
  author       = {Pham Ngoc Hung and
                  Toshiaki Aoki and
                  Takuya Katayama},
  editor       = {Tom Mens and
                  Kim Mens and
                  Michel Wermelinger},
  title        = {An effective framework for assume-guarantee verification of evolving
                  component-based software},
  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},
  pages        = {109--118},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1595808.1595829},
  doi          = {10.1145/1595808.1595829},
  timestamp    = {Wed, 07 Dec 2022 23:13:27 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpse/HungAK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}