Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > DECLERCK David
About LRI
Mr DECLERCK David

Warning: this member left the laboratory on 30/09/2018
 
DECLERCK Doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 73/PCRI-S

Personal web page : https://www.lri.fr/~declerck/
Email : david.Declerck@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models