TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems

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

Periode24 mar. 2007 → 1 apr. 2007
BegivenhedstypeKonference
PlaceringBraga, PortugalVis på kort