Leni Aniva

Orcid: 0000-0002-6033-9140

According to our database1, Leni Aniva authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
Automatic Verification of SMT Rewrites in Isabelle/HOL.
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023


  Loading...