Michael K. Zhang

According to our database, Michael K. Zhang authored at least 1 paper in 2022.

Collaborative distances:

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

2022

RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties.

Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022