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.
Yann Glouche
Jean-Pierre Talpin
Thierry Gautier
@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}
}
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.