Alexandra Graß

Orcid: 0009-0001-5821-6141

According to our database¹, Alexandra Graß authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Correctness Proofs for Top-Down Solvers with Widening and Narrowing in Isabelle.

[DOI]

Dataset, June, 2025

Correctness Proofs for Top-Down Solvers with Widening and Narrowing in Isabelle.

[DOI]

Dataset, April, 2025