Questions speciales de l'informatique fondamentale: methodes de developpement B et CSP

  • Andreas Classen (Participant)

Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Description

Attending a four-day lecture on the B-Method given by Michael Leuschel (University of Dusseldorf).
Period26 Mar 2009 → 3 Apr 2009
Event typeEducation
LocationUniversity of Namur, BelgiumShow on map