Accès aux Contact | Référence BibTex | Référence EndNote |

Glouche02

Y. Glouche, J.-P. Talpin, P. Le Guernic, T. Gautier. A module language for typing by contracts. In Proceedings of the First NASA Formal Methods Symposium (NFM'09), E. Denney, D. Giannakopoulou, C. S. P\uas\uareanu (eds.), Pages 86-95, Avril 2009.

Contact

Yann Glouche
Jean-Pierre Talpin
Thierry Gautier

Référence BibTex

@InProceedings{Glouche02,
   Author = {Glouche, Y. and Talpin, J.-P. and Le Guernic, P. and Gautier, T.},
   Title = {A module language for typing by contracts},
   BookTitle = {Proceedings of the First NASA Formal Methods Symposium (NFM'09)},
   editor = {Denney, E. and Giannakopoulou, D. and P\uas\uareanu, C. S.},
   Pages = {86--95},
   Publisher = {NASA Ames Research Center, Moffett Field, CA, USA},
   Month = {April},
   Year = {2009}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.