#sefm
-
11 Settembre 2017Jeff Kramer alla conferenza SEFM organizzata da FBKLa quindicesima edizione si è tenuta a Trento dal 6 al 10 settembre e ha riunito i principali ricercatori e professionisti del mondo accademico, dell’industria e dell’amministrazione per far progredire lo stato dell’arte nei Formal Methods.