Antonella Bilotta

According to our database¹, Antonella Bilotta authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library.

[BibT_eX]

[DOI]

CoRR, June, 2025

2024

Growing HOLMS, a HOL Light Library for Modal Systems.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024