Hardware Model Checking Competition

Armin Biere (Järjestäjä), Tom van Dijk (Järjestäjä), Keijo Heljanko (Järjestäjä)

Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

Description

Organization of the Hardware Model Checking Competition (HWMCC 2017)
Aikajakso2 lokakuuta 20176 lokakuuta 2017
Tapahtuman tyyppiCompetition
SijaintiVienna, Itävalta
Tunnustuksen arvoInternational