FACS 2024

Speaker

Gabriel Leite

Universidade Federal de Pernambuco, Brazil

Talks at this conference:
 Mon, 16:50 Extracting formal smart-contract specifications from natural language with LLMs

 Overview