Bunched Fuzz: Sensitivity for Vector Metrics.

june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi

Browse the full ESOP paper archive.