Amir Molzam Sharifloo

Latest

• On requirement verification for evolving statecharts specifications
• On requirements verification for model refinements
• Towards Agile Verification