Glouche01

Y. Glouche, P. Le Guernic, J.-P Talpin, T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), à paraître in ENTCS (Electronic Notes in Theoretical Computer Science), Novembre 2009.

Contact

Yann Glouche
Jean-Pierre Talpin
Thierry Gautier

Référence BibTex

@InProceedings{Glouche01,
   Author = {Glouche, Y. and Le Guernic, P. and Talpin, J.-P and Gautier, T.},
   Title = {A Boolean algebra of contracts for logical assume-guarantee reasoning},
   BookTitle = {6th International Workshop on Formal Aspects of Component Software (FACS 2009)},
   Month = {November},
   Year = {2009}
}

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.