%0 Conference Paper %1 conf/iri/GuoLP05 %A Guo, Jiang %A Liao, Yuehong %A Pamula, Raj %B IRI %D 2005 %E Zhang, Du %E Khoshgoftaar, Taghi M. %E Shyu, Mei-Ling %I IEEE Systems, Man, and Cybernetics Society %K dblp %P 282-287 %T Extending Eclipse to support object-oriented system verification. %U http://dblp.uni-trier.de/db/conf/iri/iri2005.html#GuoLP05 %@ 0-7803-9093-8

@inproceedings{conf/iri/GuoLP05, added-at = {2006-07-07T00:00:00.000+0200}, author = {Guo, Jiang and Liao, Yuehong and Pamula, Raj}, biburl = {https://www.bibsonomy.org/bibtex/29965d543bed87e83ae8b3504dc1f932f/dblp}, booktitle = {IRI}, crossref = {conf/iri/2005}, date = {2006-07-07}, description = {dblp}, editor = {Zhang, Du and Khoshgoftaar, Taghi M. and Shyu, Mei-Ling}, ee = {http://dx.doi.org/10.1109/IRI-05.2005.1506487}, interhash = {ef58b91435fb51fc4f5a485fde502fa7}, intrahash = {9965d543bed87e83ae8b3504dc1f932f}, isbn = {0-7803-9093-8}, keywords = {dblp}, pages = {282-287}, publisher = {IEEE Systems, Man, and Cybernetics Society}, timestamp = {2006-07-07T00:00:00.000+0200}, title = {Extending Eclipse to support object-oriented system verification.}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2005.html#GuoLP05}, year = 2005 }