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


Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Rapport de recherche INRIA, 2008.


Yann Glouche
Jean-Pierre Talpin
Thierry Gautier

Référence BibTex

   Author = {Glouche, Yann and Le Guernic, Paul and Talpin, Jean-Pierre and Gautier, Thierry},
   Title = {A boolean algebra of contracts for logical assume-guarantee},
   Institution = {INRIA},
   Year = {2008}

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.