, Institute of Software, Chinese Academy of Science, Beijing, China

• Journal of Formalized Reasoning Vol. 10 No. 1 (2017) - Articles
  A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
  Abstract  PDF