2024_01_16_vmcai24_paper
🗨️ I presented the paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation at VMCAI 24.
🗨️ I presented the paper Generation of Violation Witnesses by Under-Approximating Abstract Interpretation at VMCAI 24.