Guohua Wu

Publications with FICTION

Preprints

1. Yangjia Li, Naijun Zhan, Mingshuai Chen, Hui Lu, Guohua Wu, Joost-Pieter Katoen (2020). On Termination of Polynomial Programs with Equality Conditions. arXiv. Preprint. PDF Cite Code DOI