Prof. Didier Buchs
Software Modelling and Verification Laboratory
Computer Science Department
University of Geneva
http://serene.uni.lu
serene_members@uni.lu serene_chair@uni.lu serene_admin@uni.lu serene_tech@uni.lu
Viewing Details: