Demri

lastnameDemri
firstnameStéphane
organisationlaboratoire de spécification et de vériffication, Cachan
websitehttp://www.lsv.ens-cachan.fr/~demri/
old_uid2123
Contact #133382 - latest update on 2007/05/23, created on 2006/01/10