Mohd Shaiful Aziz Rashid Ali is an author at Universiti Malaysia Perlis specializing in formal verification, software engineering, and computer engineering.
Top concepts
EngineeringData ScienceVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2016–2020
2
2
Rows per page
1–2 of 2