%0 Conference Paper %1 conf/kse/HuynhBQ14 %A Huynh, Khai T. %A Bui, Thang H. %A Quan, Tho T. %B KSE %D 2014 %E Nguyen, Viet-Ha %E Le, Anh-Cuong %E Huynh, Van-Nam %I Springer %K dblp %P 513-524 %T A Lightweight Formal Approach for Component Reuse. %U http://dblp.uni-trier.de/db/conf/kse/kse2014.html#HuynhBQ14 %V 326 %@ 978-3-319-11679-2

@inproceedings{conf/kse/HuynhBQ14, added-at = {2017-05-17T00:00:00.000+0200}, author = {Huynh, Khai T. and Bui, Thang H. and Quan, Tho T.}, biburl = {https://www.bibsonomy.org/bibtex/299694ab0b5cb6b4821dcba13b251a821/dblp}, booktitle = {KSE}, crossref = {conf/kse/2014}, editor = {Nguyen, Viet-Ha and Le, Anh-Cuong and Huynh, Van-Nam}, ee = {https://doi.org/10.1007/978-3-319-11680-8_41}, interhash = {0d3d473e9893a17f5d67813b6dc5be1f}, intrahash = {99694ab0b5cb6b4821dcba13b251a821}, isbn = {978-3-319-11679-2}, keywords = {dblp}, pages = {513-524}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2020-04-18T11:39:26.000+0200}, title = {A Lightweight Formal Approach for Component Reuse.}, url = {http://dblp.uni-trier.de/db/conf/kse/kse2014.html#HuynhBQ14}, volume = 326, year = 2014 }