Formal Methods Past, Present, and Future

Activity: Talk or presentationInvited talk

Period19 Mar 201920 Mar 2019
Event titleHuawei European Research Forum
Event typeOther
LocationBilzen, BelgiumShow on map
Degree of RecognitionInternational