Verifying DAML+OIL and beyond in Z/EVES

Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai Wang

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

29 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 26th International Conference on Software Engineering
EditorsJacky Estublier, David S Rosenblum
Place of PublicationWashington DC USA
PublisherIEEE Computer Society
Pages201 - 210
Number of pages10
ISBN (Print)0769521630
Publication statusPublished - 2004
Externally publishedYes
EventInternational Conference on Software Engineering 2004 - Edinburgh, United Kingdom
Duration: 23 May 200428 May 2004
Conference number: 26th


ConferenceInternational Conference on Software Engineering 2004
Abbreviated titleICSE 2004
CountryUnited Kingdom

Cite this