"Verification of Object-Z Specifications by Using Transition Systems: ..."

Pablo Gruer, Vincent Hilaire, Abder Koukam (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics