Modeling and Reasoning Event-B Models Based on Mathematica. - Guoteng Pan; Mengjun Li; Guodong Ou (Internetware, 2019)

Solving Constraint Optimization Problems Based on Mathematica and Abstraction. - Guoteng Pan; Mengjun Li; Guodong Ou (SOFL+MSVL, 2019)