PAPERS

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.