[ACD08] Trusted Software within FoCaL

Conférence Nationale avec comité de lecture : CE&SAR 2008, Rennes, dÃƒÂ©cembre, December 2008, pp.142-157,

Auteurs: P. Ayrault , M. Carlier , D. Delahaye , C. Dubois , D. Doligez , L. Habib , T. Hardin , M. Jaume , C. Morisset , F. Pessaux , P. Weis

motcle:

Résumé: resume

Commentaires: note

Collaboration: INRIA

BibTeX

@inproceedings {
	ACD08,
	title	=	"{Trusted Software within FoCaL}",
	author	=	" P. Ayrault and M. Carlier and D. Delahaye and C. Dubois and D. Doligez and L. Habib and T. Hardin and M. Jaume and C. Morisset and F. Pessaux and P. Weis ",
	booktitle	=	"{CE&SAR 2008, Rennes, dÃƒÂ©cembre}",
	year	=	2008,
	month	=	"December",
	pages	=	"142-157",
	note	=	"{note}",
}