Formal Specifications from Natural Language. - Christopher Hahn; Frederik Schmitt; Julia J. Tillman; Niklas Metzger 001; Julian Siber; Bernd Finkbeiner (CoRR, 2022)

Smart Contract Synthesis Modulo Hyperproperties. - Norine Coenen; Bernd Finkbeiner; Jana Hofmann; Julia J. Tillman (CSF, 2023)