Steve Dunne

Latest

• Reactivising Classical B
• A Practical Single Refinement Method for B