Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Hi-index | 0.00 |