Professor BUCHS Didier


Team : MoVe
Invited by : Fabrice KORDON
Arrival date : 04/01/2007
Departure date : 04/30/2007
http://cui.unige.ch/~buchs

Research activity

Spécifications formelles, test, prototypage