, Inria Saclay-Ile-de-France, France

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