Mohammad Irfan Ullah Khan

• Developing re-usable formal specifications