Thao Ha Thi

According to our database, Thao Ha Thi authored at least 1 paper in 2023.

Collaborative distances:

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

2023

VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules.

Tuan Nguyen Thanh, Nhan Le Thanh, Ha Hoang Thi Thanh, Thao Ha Thi

Proceedings of the 2023 8th International Conference on Intelligent Information Technology, 2023