Professor BUCHS Didier


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

Research activity

Spécifications formelles, test, prototypage