Future Built on Knowledge

#sefm


  • The fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods.
    September 11, 2017