Complementing semi-formal specifications with Z (1996)

by Y Ledru
Venue:In Proceedings of the 11th Knowledge-Based Software Engineering Conference. IEEE Computer