|
 
|
[Dub11] Tutorial: introduction to Coq
Conférences invitées : TOOLS 2011, June 2011, pp.tutorial, Zurich, Switzerland,
motcle:
Résumé:
Part 1 : introduction - Part 2 : verification of a compiler
Commentaires:
http://www.ensiie.fr/~dubois/TOOLS2011
Equipe:
sys
BibTeX
| @inproceedings { | |||
| Dub11, | |||
| title | = | "{Tutorial: introduction to Coq}", | |
| author | = | " C. Dubois ", | |
| booktitle | = | "{TOOLS 2011}", | |
| year | = | 2011, | |
| month | = | "June", | |
| pages | = | "tutorial", | |
| address | = | "Zurich, Switzerland", | |
| note | = | "{http://www.ensiie.fr/~dubois/TOOLS2011}", | |
| } | |||
