Haowen Long

According to our database, Haowen Long authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Constraint Based Invariant Generation with Modular Operations.

Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024