Joy Clark

Latest

• Generating Event-B Specifications from Algorithm Descriptions