TEODOROV Ciprian

Faculty - ENSTA

Team :

Position : Full professor

Phone : 02 98 34 89 53

email :

Website : http://www.ensta-bretagne.fr/teodorov

Keywords : Formal specification, diagnosis, executable semantics, Formal verification, debugging.

Publications (HAL)