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
@InCollection{glouche:2010,
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}
}
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.