Dagstuhl workshop : Run-time verification

Larsen, K. G. (Participant)

Activity: Attending an event › Conference organisation or participation

Period2 Jan 2007 → 6 Jan 2007
Event typeConference
LocationGermany