Verifying DAML+OIL and beyond in Z/EVES

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

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 proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 26th International Conference on Software Engineering
Editors	Jacky Estublier, David S Rosenblum
Place of Publication	Washington DC USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	201 - 210
Number of pages	10
ISBN (Print)	0769521630
Publication status	Published - 2004
Externally published	Yes
Event	International Conference on Software Engineering 2004 - Edinburgh, United Kingdom Duration: 23 May 2004 → 28 May 2004 Conference number: 26th https://ieeexplore.ieee.org/xpl/conhome/9201/proceeding (Proceedings)

Conference

Conference	International Conference on Software Engineering 2004
Abbreviated title	ICSE 2004
Country/Territory	United Kingdom
City	Edinburgh
Period	23/05/04 → 28/05/04
Internet address	https://ieeexplore.ieee.org/xpl/conhome/9201/proceeding (Proceedings)

Cite this

@inproceedings{a054fc30b5fd4789b5fa4334bd23b8a8,

title = "Verifying DAML+OIL and beyond in Z/EVES",

author = "Dong, \{Jin Song\} and Lee, \{Chew Hung\} and Yuan-Fang Li and Hai Wang",

year = "2004",

language = "English",

isbn = "0769521630",

pages = "201 -- 210",

editor = "Jacky Estublier and Rosenblum, \{David S\}",

booktitle = "Proceedings of the 26th International Conference on Software Engineering",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "International Conference on Software Engineering 2004, ICSE 2004 ; Conference date: 23-05-2004 Through 28-05-2004",

url = "https://ieeexplore.ieee.org/xpl/conhome/9201/proceeding",

}

Dong, JS, Lee, CH, Li, Y-F & Wang, H 2004, Verifying DAML+OIL and beyond in Z/EVES. in J Estublier & DS Rosenblum (eds), Proceedings of the 26th International Conference on Software Engineering. IEEE, Institute of Electrical and Electronics Engineers, Washington DC USA, pp. 201 - 210, International Conference on Software Engineering 2004, Edinburgh, United Kingdom, 23/05/04.

Verifying DAML+OIL and beyond in Z/EVES. / Dong, Jin Song; Lee, Chew Hung; Li, Yuan-Fang et al.
Proceedings of the 26th International Conference on Software Engineering. ed. / Jacky Estublier; David S Rosenblum. Washington DC USA: IEEE, Institute of Electrical and Electronics Engineers, 2004. p. 201 - 210.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Verifying DAML+OIL and beyond in Z/EVES

AU - Dong, Jin Song

AU - Lee, Chew Hung

AU - Li, Yuan-Fang

AU - Wang, Hai

N1 - Conference code: 26th

PY - 2004

Y1 - 2004

M3 - Conference Paper

SN - 0769521630

SP - 201

EP - 210

BT - Proceedings of the 26th International Conference on Software Engineering

A2 - Estublier, Jacky

A2 - Rosenblum, David S

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Washington DC USA

T2 - International Conference on Software Engineering 2004

Y2 - 23 May 2004 through 28 May 2004

ER -