RR6570

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

Contact

Yann Glouche
Jean-Pierre Talpin
Thierry Gautier

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.