Reza Akbarpour

According to our database, Reza Akbarpour authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Formal Reasoning about Expectation Properties for Continuous Random Variables.

Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour

Proceedings of the FM 2009: Formal Methods, 2009