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


Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. A Module Language for Typing Signal Programs by Contracts. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.


Yann Glouche
Thierry Gautier
Jean-Pierre Talpin

Référence BibTex

   Author = {Glouche, Yann and Gautier, Thierry and Le Guernic, Paul and Talpin, Jean-Pierre},
   Title = {A Module Language for Typing Signal Programs by Contracts},
   BookTitle = {Synthesis of Embedded Software},
   editor = {Shukla, Sandeep K. and Talpin, Jean-Pierre},
   Publisher = {Springer},
   Year = {2010}

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.