International Symposium on Model Checking Software

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

Description

Technical program committee member
Period2013
Event typeConference
Conference number24
LocationSanta Barbara, United States, California
Degree of RecognitionInternational