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.

Categoria:
Invited talks

Area di ricerca:

Linee di ricerca: