SAFA: Sophia-Antipolis Formal Analysis Group
Detailed programs and presentation slides
SAFA workshop, INRIA Sophia-Antipolis, december 3, 2008
Batiment Kahn, Amphi Morgenstein
Archives:
Cfp,
Detailed Program
Page maintained by:
eric.madelaine@sophia.inria.fr