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

Activity: Attending an event › Conference organisation or participation

Period24 Mar 2007 → 1 Apr 2007
Event typeConference
LocationBraga, PortugalShow on map