20th International Symposium on Formal Methods (Event)

Activity: MembershipMembership in Programm Committee

Description

Jury, Beirat, Kuratorium, Ausschuss, wiss. oder künstler. Gesellschaft;
Period2 Jan 201526 Jun 2015
Event title20th International Symposium on Formal Methods: FM 2015
Event typeConference
LocationOslo, Norway