Guodong Ou

According to our database¹, Guodong Ou authored at least 2 papers in 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Solving Constraint Optimization Problems Based on Mathematica and Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Modeling and Reasoning Event-B Models Based on Mathematica.

[BibT_eX]

[DOI]

Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019