External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verifying DAML+OIL and Beyond in Z/EVES

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]

Authors

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Chew Hung Lee

This author has not been identified. Look up 'Chew Hung Lee' in Google

Yuan-Fang Li

This author has not been identified. Look up 'Yuan-Fang Li' in Google

Hai H. Wang

This author has not been identified. Look up 'Hai H. Wang' in Google
runs on