@inproceedings{bereczky_horpácsi_k?szegi_szeier_thompson_2020, 
  title={Validating Formal Semantics by Property-Based Cross-Testing}, 
  DOI={10.1145/3462172.3462200}, 
  publisher={ACM}, 
  author={Bereczky, Péter and Horpácsi, Dániel and K?szegi, Judit and Szeier, Soma and Thompson, Simon}, 
  year={2020}, 
  month={Sep}
  }