Volume: Vol-4003 CILC 2025 | Year: 2025

Paper: « paper16 | paper18 | paper20 »

Logic, Leaves, and Labels: Visualizing SELinux Trees with ASP Chef

• Mario Alviano
• Pietro Macrì

PDF