#jeff kramer
-
September 11, 2017Jeff Kramer at the SEFM conference organized by FBKThe 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.