Verifying DAML+OIL and Beyond in Z/EVES.

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

Browse the full ICSE paper archive.