Return to Article Details
Foundational Certification of Code Transformations Using Automatic Differentiation
Download
Download PDF