Abdollah Tabareh

According to our database, Abdollah Tabareh authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Predictive Software Measures based on Z Specifications - A Case Study

Andreas Bollin, Abdollah Tabareh

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012