A Conformance Relationship for Stream Interfaces
- Authors
- F. Eliassen
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1997
- Journal
- Proceedings of 2nd Int'l Conf on Formal Methods in Open Object-based Distributed Systems (FMOODS'97)
- Publisher
- Chapman & Hall
- Citation key
- 9940