George Gao

According to our database, George Gao authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Extracting counterexamples from transitive-closure-based model checking.

Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019