%0 Conference Paper %1 conf/rivf/HungNAK12 %A Hung, Pham Ngoc %A Nguyen, Viet Ha %A Aoki, Toshiaki %A Katayama, Takuya %B RIVF %D 2012 %I IEEE %K dblp %P 1-6 %T An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. %U http://dblp.uni-trier.de/db/conf/rivf/rivf2012.html#HungNAK12 %@ 978-1-4673-0307-1

@inproceedings{conf/rivf/HungNAK12, added-at = {2022-12-07T00:00:00.000+0100}, author = {Hung, Pham Ngoc and Nguyen, Viet Ha and Aoki, Toshiaki and Katayama, Takuya}, biburl = {https://www.bibsonomy.org/bibtex/2e2819145326baad385c96bb3ba8839a0/dblp}, booktitle = {RIVF}, crossref = {conf/rivf/2012}, ee = {https://doi.org/10.1109/rivf.2012.6169862}, interhash = {4fa92540b101b0070943e6994ef58be4}, intrahash = {e2819145326baad385c96bb3ba8839a0}, isbn = {978-1-4673-0307-1}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T21:49:07.000+0200}, title = {An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.}, url = {http://dblp.uni-trier.de/db/conf/rivf/rivf2012.html#HungNAK12}, year = 2012 }