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

Kluwer04a

J.P. Talpin, P. Le Guernic. Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.

Contact

Jean-Pierre Talpin

Référence BibTex

@InCollection{Kluwer04a,
   Author = {Talpin, J.P. and Le Guernic, P.},
   Title = {Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design},
   BookTitle = {Formal Methods and Models for System Design},
   Publisher = {Kluwer Academic Publishers},
   Year = {2004}
}

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.