David JaninAssociate professor at IPB, ENSEIRB-MATMECA,Research Institute: LaBRI, CNRS UMR 5800, Université de Bordeaux, 351, Cours de la libération, F-33 405, Talence cedex, France Team : Formal methods Email : janin@labri.fr and Phone : +33 540 00 69 16 (LaBRI) |
![]() |
|
Project INEDIT ANR-12-CORD-009
|
![]() |
|