H.: Verifying DAML+OIL and Beyond in Z/EVES (2004)

by J S Dong, C H Lee, Y F Li, Wang
Venue:In: Proceedings of the 26th International Conference on Software Engineering