Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.

Pablo Gruer, Vincent Hilaire, Abder Koukam

Browse the full FASE paper archive.