Ph.D. Student, Computer Science DepartmentArea of Expertise: Formal methodModel CheckingSoftware EngineeringContactZahra Hosseini Tags: Formal methodModel CheckingSoftware Engineering