Solving Constraint Optimization Problems Based on Mathematica and Abstraction.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019
Modeling and Reasoning Event-B Models Based on Mathematica.
Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019