Sabria Farheen

According to our database, Sabria Farheen authored at least 2 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Transitive-closure-based model checking (TCMC) in Alloy.

Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi

Softw. Syst. Model., 2020

2017

DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy.

José Serna, Nancy A. Day, Sabria Farheen

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017