%0 Conference Paper %1 conf/icse/DongLLW04 %A Dong, Jin Song %A Lee, Chew Hung %A Li, Yuan-Fang %A Wang, Hai H. %B ICSE %D 2004 %E Finkelstein, Anthony %E Estublier, Jacky %E Rosenblum, David S. %I IEEE Computer Society %K dblp %P 201-210 %T Verifying DAML+OIL and Beyond in Z/EVES. %U http://dblp.uni-trier.de/db/conf/icse/icse2004.html#DongLLW04 %@ 0-7695-2163-0

@inproceedings{conf/icse/DongLLW04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Dong, Jin Song and Lee, Chew Hung and Li, Yuan-Fang and Wang, Hai H.}, biburl = {https://www.bibsonomy.org/bibtex/2129d47d31b102e7ad1efa18ba822e9aa/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2004}, editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.}, ee = {http://dl.acm.org/citation.cfm?id=999425}, interhash = {716c6e928e62fb37a81b99bd29de5512}, intrahash = {129d47d31b102e7ad1efa18ba822e9aa}, isbn = {0-7695-2163-0}, keywords = {dblp}, pages = {201-210}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:04.000+0200}, title = {Verifying DAML+OIL and Beyond in Z/EVES.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#DongLLW04}, year = 2004 }