OOZE: An Object Oriented Z Environment.

Antonio J. Alencar, Joseph A. Goguen

Browse the full ECOOP paper archive.