Chris Ma

According to our database, Chris Ma authored at least 1 paper in 2012.

Collaborative distances:

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

2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012