Manli Ran

According to our database, Manli Ran authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Verifying object construction.

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020