Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang. Verifying DAML+OIL and Beyond in Z/EVES. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 201-210, IEEE Computer Society, 2004. [doi]
@inproceedings{DongLLW04, title = {Verifying DAML+OIL and Beyond in Z/EVES}, author = {Jin Song Dong and Chew Hung Lee and Yuan-Fang Li and Hai H. Wang}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630201abs.htm}, researchr = {https://researchr.org/publication/DongLLW04}, cites = {0}, citedby = {0}, pages = {201-210}, booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom}, publisher = {IEEE Computer Society}, isbn = {0-7695-2163-0}, }