Amal A. Mirghani

Research Areas

Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research

Most-Cited Works

• → Alneelain: A formal specification language(2017)2 cited