Title: | Behavioral Subtyping Using Invariants and Constraints |
---|---|
Links: | Homepage Document as Postscript |
Authors: | Barbara H. Liskov |
Jeannette M. Wing EMail | |
Remarks: | |
Topics: |
Bibtex:
@inbook{LW99, AUTHOR = { Liskov, Barbara H. and Wing, Jeannette M. }, TITLE = { Behavioral Subtyping Using Invariants and Constraints }, BOOKTITLE = { Formal Methods for Distributed Processing: An Object Oriented Approach }, YEAR = { 1999 }, PUBLISHER = { Cambridge University Press }, EDITOR = { H. Bowman and J. Derrick }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.