RR6570

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

Contact

Yann Glouche
Jean-Pierre Talpin
Thierry Gautier

Référence BibTex

@TechReport{RR6570,
   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.