Skip to content

A Linear Type System for L^p-Metric Sensitivity Analysis.

Victor Sannier, Patrick Baillot

VenueBFSCD
Year2024
ProceedingsFSCD

Browse the full FSCD paper archive.