Invited Participant

Activity: Other

PeriodJan 1 2006 → …
Held at"Rigorous Methods for Software Construction and Analysis" Seminar, Germany