Categoria:
Invited talks
Area di ricerca:
2015 - MANDRIOLI DINO
Prof. Dino Mandrioli keynote speaker at Formal Methods in Software Engineering with the invited keynote speech "On the Heroism of really Pursuing Formal Methods” on Monday May 18th, 2015.