ChKi.bib
ChKi.bib
—
Bibtex bibliographic data,
248 bytes
File contents
@article{ChKi,
author = {Y.~Choi and M.~Kim},
title = "Controlled Composition and Abstraction for Bottom-up Integration and Verification of Abstract Components",
journal = "Information and Software Technology (IST)",
note = {To appear}
}
