Text this: Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf