Hai Feng Huang

According to our database, Hai Feng Huang authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Beyond contracts for concurrency.

Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller

Formal Aspects Comput., 2009