Verifying Autonomous Systems

Activity: Talk or presentationInvited talk

Description

7 Jun 2022

Event (Conference)

Title17th International Conference on Integrated Formal Methods
Abbrev. TitleiFM 2022
Period7/06/2210/06/22
Web address (URL)
Location
CityLugano
Country/TerritorySwitzerland
Degree of recognitionInternational event