Author Details

Lv, Wenjin, Xi’an Jiaotong-Liverpool University, Department of Computer Science & Software Engineering, China

  • Vol 15, No 2 - Articles
    Foundational Certification of Code Transformations Using Automatic Differentiation
    Abstract  PDF