Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
View
>
Jérôme Guitton
Membre exterieur
Laboratoire: ADACORE (France)
Publications
2013
Conférence Internationale avec comité de lecture
[CAC13]
P. Courtieu
,
M. Aponte
,
T. Crolard
, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "
Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq
", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013,
pp.
2,
Series
ACM Digital Library
, US,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales