- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique

LIP6 supports the Pink October campaign for breast cancer awareness.

BARA Abdelrezzak

Engineer, UPMC
Team : ALSOC

Departure date : 01/22/2011

2010 Publications

  • 2010
    • A. Bara, P. Bazargan Sabet, R. Chevallier, E. Encrenaz, D. Le Dû, P. Renault : “Formal Verification of Timed VHDL Programs”, Forum on Specification & Design Languages, FDL 2010, Southampton, United Kingdom, pp. 80-85, (IET) (2010)