Petra Malik

Latest

• Translating Z to Alloy
• Unit Testing of Z Specifications