Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik. Inferring Natural Preconditions via Program Transformation. In Marcelo d'Amorim, editor, Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. pages 657-658, ACM, 2024. [doi]