Keynote speaker at FME Workshop 2015
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.
Tipology:
Invited talks
Research area:
Research lines:
Invited talks
Research area:
Research lines: