International Workshop on Satisfiability Modulo Theories (SMT '09)

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Periode2. aug. 2009 - 3. aug. 2009
BegivenhedstypeKonference
Konferencenummer7
PlaceringMontreal, Canada