International Workshop on Satisfiability Modulo Theories (SMT '09)

Schneider-Kamp, P. (Deltager)

Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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