International Symposium on Model Checking Software

  • Stavros Tripakis (Member)

Activity: Participating in or organising an event types › Membership 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, CaliforniaShow on map
Degree of RecognitionInternational