International Competition on Software Verification

Keijo Heljanko (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

SV-COMP - 5th International Competition on Software Verification: 2016.
Period2016
Event typeCompetition
Conference number5
LocationEindhoven, Netherlands
Degree of RecognitionInternational