Author:Li Ding

Publications
Different Proofs are Good Proofs Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro da Silva In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions