@inproceedings{ZhangETAL22PythonByContractDataset,
  author = {Zhang, Jiyang and Marko, Ristin and Phillip, Schanely and Hans, Wernher van de Venn and Gligoric, Milos},
  title = {Python-by-Contract Dataset},
  booktitle = {Symposium on the Foundations of Software Engineering, formal tool demonstrations},
  pages = {1652--1656},
  year = {2022},
}