Étienne André
1
Documents
Identifiants chercheurs
- etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Communication dans un congrès
hal-00926165v1
|