@misc{16560,
  author = {Gr{\'e}goire Menguy and Sebastien Bardin and Nadjib Lazaar and Arnaud Gotlieb},
  title = {Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition},
  year = {2022},
  journal = {31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)},
  publisher = {IJCAI},
}