Amar Shah

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification.
Proceedings of the Automated Deduction - CADE 30, 2025


  Loading...