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]

Abstract

Abstract is missing.