Paul Boca

• Formal methods
• Abstract State Machines, B and Z