%0 Conference Proceedings
%F Glouche02
%A Glouche, Y.
%A Talpin, J.-P.
%A Le Guernic, P.
%A Gautier, T.
%T A module language for typing by contracts
%B Proceedings of the First NASA Formal Methods Symposium (NFM'09)
%E Denney, E.
%E Giannakopoulou, D.
%E P\uas\uareanu, C. S.
%P 86-95
%I NASA Ames Research Center, Moffett Field, CA, USA
%8 April
%D 2009