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), to appear in ENTCS (Electronic Notes in Theoretical Computer Science), November 2009.
Yann Glouche
Jean-Pierre Talpin
Thierry Gautier
@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}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.