Dominique Devriese - Host

Research Visit on Semi-automatic verification of ISA properties
10 Feb 202016 Mar 2020

Hosting an academic visitor

NameGeorgy Lukyanov
Visitor degreeMaster
External organisations
Newcastle University

ID: 51345425