Alexander Loitzl

Orcid: 0009-0002-7417-2537

According to our database¹, Alexander Loitzl authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Modeling Register Pairs in CompCert.

[DOI]

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024